咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,591 篇 工学
    • 3,090 篇 计算机科学与技术...
    • 2,585 篇 软件工程
    • 586 篇 信息与通信工程
    • 435 篇 控制科学与工程
    • 341 篇 电气工程
    • 231 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 141 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 95 篇 土木工程
    • 82 篇 材料科学与工程(可...
    • 82 篇 交通运输工程
    • 81 篇 仪器科学与技术
  • 990 篇 理学
    • 556 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 169 篇 物理学
    • 151 篇 统计学(可授理学、...
    • 76 篇 化学
  • 802 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 289 篇 图书情报与档案管...
  • 142 篇 医学
    • 119 篇 临床医学
    • 109 篇 基础医学(可授医学...
  • 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...
  • 129 篇 computer communi...
  • 114 篇 computer science
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 107 篇 software enginee...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 89 篇 computer aided s...
  • 73 篇 software systems
  • 72 篇 computational mo...
  • 71 篇 software archite...
  • 71 篇 software design
  • 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 篇 英文
  • 107 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5224 条 记 录,以下是381-390 订阅
排序:
SYSTEM DESIGN MEthODOLOGY BASED ON SDL.
SYSTEM DESIGN METHODOLOGY BASED ON SDL.
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Bagnoli, P. Cerchio, L. Saracco, R.
来源: 评论
An intelligent automatic fingerprint recognition system design
An intelligent automatic fingerprint recognition system desi...
收藏 引用
5th International conference on Machine Learning and Applications, ICMLA 2006
作者: Özkaya, Necia Saǧiroǧlu, Şeref Wani, Arif Erciyes University Engineering Faculty Computer Engineering Department 38039 Kayseri Turkey Gazi University Engineering and Architecture Faculty Computer Engineering Department 06570 Ankara Turkey California State University at Bakersfield School of Natural Sciences and Mathematics Department of Computer Science Bakersfield United States
this work presents an intelligent automatic fingerprint identification and verification system based on artificial neural networks. In this work, the design processes of the system have been presented step by step. In... 详细信息
来源: 评论
software ARCHITECTURE FOR MULTI-PROCESSOR DIGITAL SWITCHING SYSTEM.
SOFTWARE ARCHITECTURE FOR MULTI-PROCESSOR DIGITAL SWITCHING ...
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Ogata, H. Ohtaka, Y. Tokita, Y. Maejima, Y. Tanabe, S.
来源: 评论
Generating Code for Associations Supporting Operations on Multiple Instances
Generating Code for Associations Supporting Operations on Mu...
收藏 引用
5th International conference on Evaluation of Novel Approaches to software engineering
作者: Goldberg, Mayer Wiener, Guy Ben Gurion Univ Negev Beer Sheva Israel
Associations between objects are one of the most fundamental concepts in object-oriented design. the choices of how to implement associations determine how operations on the associated instances are performed: Sequent... 详细信息
来源: 评论
UML + ROOM as a standard ADL?
UML + ROOM as a standard ADL?
收藏 引用
Proceedings of the 1999 5th IEEE International conference on engineering of Complex computer systems (ICECCS'99)
作者: Rumpe, B. Schoenmakers, M. Radermacher, A. Schuerr, A. Munich Univ of Technology Munich Germany
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of the term 'software architecture'... 详细信息
来源: 评论
the hardware design and implementation of a signal reconstruction algorithm based on compressed sensing
The hardware design and implementation of a signal reconstru...
收藏 引用
5th International conference on Intelligent Networks and Intelligent systems, ICINIS 2012
作者: Li, Guoyan Gu, Junhua Song, Qingzeng Lu, Yicai Zhou, Bojun School of Electrical Engineering and Automation Hebei University of Technology Tianjin China School of Computer Science and Software Hebei University of Technology Tianjin China School of Computer Science and Software Engineering Tianjin Polytechnic University Tian jin China
A fast and reliable signal reconstruction algorithm is the core part of the compressed sensing (CS) theory. As a reconstruction algorithm, interior point method has a high precision but it is time-consuming and needs ... 详细信息
来源: 评论
Automated unit testing of a SCADA control software: An industrial case study based on action research
Automated unit testing of a SCADA control software: An indus...
收藏 引用
5th IEEE International conference on software Testing, Verification and Validation, ICST 2012
作者: Jolly, Shahnewaz Amin Garousi, Vahid Eskandar, Matt M. Department of Electrical and Computer Engineering University of Calgary Calgary Canada MR Control Systems International Inc. Calgary Canada
We report in this case-study paper our experience and success story with a practical approach and tool for unit regression testing of a SCADA (Supervisory Control and Data Acquisition) software. the tool uses a black-... 详细信息
来源: 评论
EVALUATION OF FORMAL MEthODS FOR COMMUNICATION PROTOCOL SPECIFICATION FROM PROTOCOL DESIGNER'S VIEWPOINT.
EVALUATION OF FORMAL METHODS FOR COMMUNICATION PROTOCOL SPEC...
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Sajkowski, M. Stroinski, M.
来源: 评论
software agents based home automation an intelligent electrical billing and maintenance system
Software agents based home automation an intelligent electri...
收藏 引用
5th IEEE International conference on Industrial Informatics
作者: Yadawad, R. G. Kulkarni, U. P. Joshi, S. M. Vadavi, J. V. Yardi, A. R. Visvesvaraya Technological University Belgaum India Faculty Department Computer Science and Engineering SDM College of Engineering and Technology Dharwad India Walchand College of Engineering and Technology Sangli India
the world is moving towards automation and autonomous systems, in which devices are expected to be seamlessly integrated and complex, which act on our behalf and deliver better quality services anywhere anytime and in... 详细信息
来源: 评论
Self-* software architectures and component middleware in pervasive environments
Self-* Software architectures and component middleware in pe...
收藏 引用
5th International Workshop on Middleware for Pervasive and Ad-hoc Computing, MPAC 2007 held at the ACM/IFIP/USENIX 8th International Middleware conference
作者: Edwards, George Seo, Chiyoung Popescu, Daniel Malek, Sam Medvidovic, Nenad Computer Science Department University of Southern California Los Angeles CA 90089-0781 United States Department of Computer Science George Mason University Fairfax VA 22030-4444 United States
software systems that execute in embedded and pervasive environments are frequently required to be self-monitoring, self-adapting, and self-healing. However, supporting these self-* capabilities in pervasive environme... 详细信息
来源: 评论