咨询与建议

限定检索结果

文献类型

  • 4,788 篇 会议
  • 353 册 图书
  • 80 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 5,218 篇 电子文献
  • 4 种 纸本馆藏

日期分布

学科分类号

  • 3,588 篇 工学
    • 3,087 篇 计算机科学与技术...
    • 2,586 篇 软件工程
    • 583 篇 信息与通信工程
    • 434 篇 控制科学与工程
    • 339 篇 电气工程
    • 230 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 141 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 95 篇 土木工程
    • 82 篇 材料科学与工程(可...
    • 82 篇 交通运输工程
    • 81 篇 仪器科学与技术
  • 990 篇 理学
    • 556 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 169 篇 物理学
    • 151 篇 统计学(可授理学、...
    • 76 篇 化学
  • 802 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 289 篇 图书情报与档案管...
  • 143 篇 医学
    • 120 篇 临床医学
    • 110 篇 基础医学(可授医学...
  • 129 篇 教育学
    • 126 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 223 篇 software
  • 173 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 130 篇 computer communi...
  • 114 篇 computer science
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 108 篇 software enginee...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 89 篇 computer aided s...
  • 73 篇 software systems
  • 72 篇 computational mo...
  • 72 篇 software design
  • 71 篇 software archite...
  • 61 篇 software testing
  • 61 篇 logics and meani...

机构

  • 21 篇 college of compu...
  • 10 篇 school of softwa...
  • 9 篇 univ york dept c...
  • 9 篇 dublin city univ...
  • 8 篇 department of co...
  • 8 篇 state key labora...
  • 7 篇 school of comput...
  • 7 篇 faculty of compu...
  • 6 篇 school of comput...
  • 6 篇 school of comput...
  • 6 篇 shanghai key lab...
  • 6 篇 college of compu...
  • 6 篇 university of ne...
  • 6 篇 faculty of compu...
  • 6 篇 carleton univ de...
  • 6 篇 univ haifa dept ...
  • 6 篇 school of inform...
  • 5 篇 univ chinese aca...
  • 5 篇 hebrew universit...
  • 5 篇 nanjing univ sta...

作者

  • 14 篇 kupferman orna
  • 14 篇 labiche yvan
  • 12 篇 david lo
  • 8 篇 mylopoulos john
  • 8 篇 yilmaz murat
  • 8 篇 reinhartz-berger...
  • 8 篇 sturm arnon
  • 8 篇 xin xia
  • 8 篇 paige richard f.
  • 7 篇 o'connor rory v.
  • 7 篇 vardi moshe y.
  • 7 篇 clarke paul m.
  • 7 篇 biffl stefan
  • 7 篇 briand lionel c.
  • 7 篇 exman iaakov
  • 6 篇 katz guy
  • 6 篇 maoz shahar
  • 6 篇 sulaiman shahida
  • 6 篇 lakhmi c. jain
  • 5 篇 bernady o. apduh...

语言

  • 5,089 篇 英文
  • 105 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5222 条 记 录,以下是261-270 订阅
排序:
SDL INTO CHILL SKELETON TRANSLATION SYSTEM.
SDL INTO CHILL SKELETON TRANSLATION SYSTEM.
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Giarratana, V. Modesti, M.
来源: 评论
OPERATING SYSTEM FOR VLSI MULTIPROCESSOR systems.
OPERATING SYSTEM FOR VLSI MULTIPROCESSOR SYSTEMS.
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Watanabe, H. Sato, T. Saito, K.
来源: 评论
CONCURRENCY, CORRECTNESS, PROOF AND UNDECIDABILITY IN SDL-LIKE systems.
CONCURRENCY, CORRECTNESS, PROOF AND UNDECIDABILITY IN SDL-LI...
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Shields, M.W.
来源: 评论
On abstract systems and system algebra
On abstract systems and system algebra
收藏 引用
5th IEEE International conference on Cognitive Informatics, ICCI 2006
作者: Wang, Yingxu Wif, F. Theoretical and Empirical Software Engineering Research Centre Department of Electrical and Computer Engineering University of Calgary 2500 University Drive NW Calgary AB T2N 1N4 Canada
systems are the most complicated entities and phenomena in the physical, information, and social worlds across all science and engineering disciplines. this paper presents a mathematical theory of system algebra and i... 详细信息
来源: 评论
Modeling Requirements of Multiple Single Products to Feature Model  5
Modeling Requirements of Multiple Single Products to Feature...
收藏 引用
5th Information systems International conference (ISICO) on Role of Information systems in Industry 4.0
作者: Komarudin, Oman Adianto, Daya Azurat, Ade Univ Indonesia Fac Comp Sci Depok West Java Indonesia
this work investigates how the requirements of multiple single products can be modeled into a feature model as part of domain engineering process in software product line engineering (SPLE) methodology. It adopts an e... 详细信息
来源: 评论
Utilizing umbrello UML modeller to develop students' modelling skills in software engineering
Utilizing umbrello UML modeller to develop students' modelli...
收藏 引用
5th International conference on computer Supported Education, CSEDU 2013
作者: Alkazemi, Basem Y. Baz, Abdullah Grami, Grami Mohammad A. Khayat, Yasir A. Department of Computer Science UQU University Makkah Saudi Arabia Department of Computer Engineering UQU University Makkah Saudi Arabia Department of European Languages King Abdulaziz University Jeddah Saudi Arabia Department of Maintenance and Operations UQU University Makkah Saudi Arabia
this paper looks at the introduction of UML Umberllo in a university-level course to assist learning software engineering. In theory, Umberllo should help students better visualize the design of models in a pragmatic ... 详细信息
来源: 评论
A Brief Analysis of Soft Computing Techniques in software Fault Prediction  5
A Brief Analysis of Soft Computing Techniques in Software Fa...
收藏 引用
5th International conference on Information systems and computer Networks, ISCON 2021
作者: Garg, Hitendra GLA University Department of Computer Engineering and Applications Mathura India
software testing and fault prediction is major part of any software development. It not only reduces the overall cost and efforts but also increase the robustness of the system. Tester has to find or predicts the faul... 详细信息
来源: 评论
Investigating physical interaction complexities in embedded systems
Investigating physical interaction complexities in embedded ...
收藏 引用
2011 5th Malaysian conference in software engineering, MySEC 2011
作者: Ashraf, Mahmood Ghazali, Masitah Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81310 Skudai Johor Malaysia
Embedded systems are proliferating in vast application areas of life with ever increasing multifarious functionalities. Due to the focus of research and development on growing software issues, the naturalness of physi... 详细信息
来源: 评论
software process improvement defined  5
Software process improvement defined
收藏 引用
5th International conference on Enterprise Information systems, ICEIS 2003
作者: Aaen, Ivan Institute of Computer Science Aalborg University Fredrik Bajersvej 7E Aalborg Denmark
this paper argues in favor of the development of explanatory theory on software process improvement. the last one or two decades commitment to prescriptive approaches in software process improvement literature may be ... 详细信息
来源: 评论
An overview of the telecommunications information networking architecture
收藏 引用
ELECTRONICS & COMMUNICATION engineering JOURNAL 1996年 第3期8卷 135-141页
作者: Chapman, M Dupuy, F Nilsson, G FRANCE TELECOM CNETLAAEIABSAF-22301 LANNIONFRANCE ERICSSON TELECOM AB ELLEMTELATM BROADBANDS-12625 STOCKHOLMSWEDEN
the Telecommunications Information Networking Architecture (TINA) Consortium is an international collaboration aiming at defining and validating an open architecture for telecommunication services for the broadband, m... 详细信息
来源: 评论