咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
1984 CCITT SDL RECOMMENDATIONS - A PREVIEW.
1984 CCITT SDL RECOMMENDATIONS - A PREVIEW.
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Rockstrom, A.
来源: 评论
software ARCHITECTURE IN A DIGITAL VOICE/DATA PABX WIth DISTRIBUTED CONTROL.
SOFTWARE ARCHITECTURE IN A DIGITAL VOICE/DATA PABX WITH DIST...
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Swerup, Jan
来源: 评论
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.
来源: 评论
Hardware and software: Verification and Testing - 5th International Haifa Verification conference, HVC 2009, Revised Selected Papers
Hardware and Software: Verification and Testing - 5th Intern...
收藏 引用
5th International Haifa Verification conference on Hardware and software: Verification and Testing, HVC 2009
the proceedings contain 12 papers. the topics discussed include: can we verify an elephant?;pain, possibilities, and prescriptions industry trends in advanced functional verification;the SBSE approach to automated opt...
来源: 评论
A special distributed system in a general programming environment
A special distributed system in a general programming enviro...
收藏 引用
Proceedings of the 5th Jerusalem conference on Information Technology
作者: Heilper, Andrei Marberg, John IBM Israel Haifa Israel
An approach aimed at running a special class of computationally intensive applications in an affordable heterogeneous computing environment built around existing off-the-shelf hardware is described. the software suppo... 详细信息
来源: 评论
Hardware and software Design between Microcontroller and computer based on USB Interface  5
Hardware and Software Design between Microcontroller and Com...
收藏 引用
5th International conference on Intelligent systems Design and engineering Applications (ISDEA)
作者: Xin, Yang WuHan Polytech Wuhan 430074 Hubei Peoples R China
this paper studies how to use the USB interface to achieve communication between Sunplus 61A MCU and ordinary personal computer. the design of the entire system has 5 aspects, including circuit design, protocol, host ... 详细信息
来源: 评论
ON thE DEVELOPMENT OF AN EXPERIENCE-BASED SPECIFICATION AND DESCRIPTION LANGUAGE.
ON THE DEVELOPMENT OF AN EXPERIENCE-BASED SPECIFICATION AND ...
收藏 引用
5th International conference on software engineering for Telecommunication Switching systems.
作者: Jacobson, Ivar
来源: 评论
Research on CAN bus system applied in motor vehicle safety performance detecting line system
Research on CAN bus system applied in motor vehicle safety p...
收藏 引用
2013 5th International conference on Intelligent Human-Machine systems and Cybernetics, IHMSC 2013
作者: Song, Jingbin Wu, Haidong Department of Automobile Engineering Changzhou College of Mechatronic Technology Changzhou China
Automobile detecting line system Based on CAN bus was established. the structure of computer control system was described in detail. the hardware and software of motor vehicle safety performance detecting line control... 详细信息
来源: 评论
Integrating Optimization Techniques in software Development Life Cycle - SLR  5
Integrating Optimization Techniques in Software Development ...
收藏 引用
5th International conference on Electrical, Communication and computer engineering, ICECCE 2024
作者: Ali, Rawan Bahrami, Mohammad Reza Innopolis University Cyberphysical Systems Lab. 1 Universitetskaya Str. Innopolis420500 Russia Innopolis University Samarkand International University of Technology 1 Universitetskaya Str. Innopolis420500 Russia 270 Spitamen Ave. Samarkand140100 Uzbekistan
the software development life cycle (SDLC) is a structured process for delivering a high-quality product within a specified timeframe. Developing a cost-effective and efficient software product life cycle has always b... 详细信息
来源: 评论
software Modularization by Combining Genetic and Hierarchical Algorithms  5
Software Modularization by Combining Genetic and Hierarchica...
收藏 引用
5th IEEE conference on Knowledge Based engineering and Innovation, KBEI 2019
作者: Farajpour Tabrizi, Amir Hossein Izadkhah, Habib Department of Computer Engineering University College of Daneshvaran Tabriz Iran Department of Computer Science University of Tabriz Tabriz Iran
Modularization is used as one of the stages of reverse engineering to understand a software system. Due to the importance of understanding a software system for development and maintenance, software modularization is ... 详细信息
来源: 评论