咨询与建议

限定检索结果

文献类型

  • 86,110 篇 会议
  • 2,734 册 图书
  • 1,724 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

  • 90,568 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 46,753 篇 工学
    • 38,434 篇 计算机科学与技术...
    • 31,983 篇 软件工程
    • 6,382 篇 控制科学与工程
    • 6,314 篇 信息与通信工程
    • 5,566 篇 电气工程
    • 3,216 篇 机械工程
    • 2,952 篇 电子科学与技术(可...
    • 2,059 篇 生物工程
    • 1,599 篇 生物医学工程(可授...
    • 1,487 篇 安全科学与工程
    • 1,407 篇 动力工程及工程热...
    • 1,374 篇 仪器科学与技术
    • 1,274 篇 建筑学
    • 1,206 篇 土木工程
    • 1,147 篇 材料科学与工程(可...
    • 1,038 篇 光学工程
    • 1,029 篇 交通运输工程
  • 13,168 篇 理学
    • 7,357 篇 数学
    • 2,661 篇 物理学
    • 2,363 篇 系统科学
    • 2,245 篇 生物学
    • 1,766 篇 统计学(可授理学、...
  • 11,155 篇 管理学
    • 7,853 篇 管理科学与工程(可...
    • 4,113 篇 工商管理
    • 4,080 篇 图书情报与档案管...
  • 2,147 篇 教育学
    • 2,121 篇 教育学
  • 1,383 篇 医学
    • 1,181 篇 临床医学
    • 1,036 篇 基础医学(可授医学...
  • 1,378 篇 法学
    • 1,077 篇 社会学
  • 1,313 篇 经济学
    • 1,304 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 62 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 7,112 篇 software enginee...
  • 5,921 篇 computer archite...
  • 5,291 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,535 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,223 篇 costs
  • 2,093 篇 programming
  • 1,811 篇 artificial intel...
  • 1,745 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,619 篇 testing
  • 1,508 篇 real-time system...
  • 1,419 篇 software design
  • 1,371 篇 protocols
  • 1,350 篇 information syst...

机构

  • 197 篇 college of compu...
  • 114 篇 school of comput...
  • 59 篇 school of comput...
  • 56 篇 college of compu...
  • 54 篇 school of comput...
  • 49 篇 department of co...
  • 40 篇 college of compu...
  • 37 篇 department of el...
  • 37 篇 school of comput...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 34 篇 institute of inf...
  • 33 篇 state key labora...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 31 篇 department of el...
  • 29 篇 department of co...
  • 28 篇 school of comput...
  • 27 篇 department of co...

作者

  • 49 篇 anon
  • 37 篇 bernady o. apduh...
  • 36 篇 bosch jan
  • 34 篇 o'connor rory v.
  • 28 篇 shaoying liu
  • 28 篇 li yang
  • 26 篇 dubinsky yael
  • 26 篇 ebrahim babaei
  • 22 篇 zhu huibiao
  • 21 篇 lei wang
  • 21 篇 dong jin song
  • 20 篇 katz guy
  • 19 篇 zhang lei
  • 17 篇 levent yilmaz
  • 17 篇 rui wang
  • 17 篇 wenyun zhao
  • 17 篇 shahar maoz
  • 17 篇 vardi moshe y.
  • 16 篇 weiming shen
  • 16 篇 noraziah a.

语言

  • 89,084 篇 英文
  • 1,017 篇 其他
  • 437 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90574 条 记 录,以下是4911-4920 订阅
Attack Surface Analysis for Spacecraft Flight software  10
Attack Surface Analysis for Spacecraft Flight Software
收藏 引用
10th International conference on Space Mission Challenges for Information Technology
作者: Curbo, James Falco, Gregory Johns Hopkins Univ Whiting Sch Engn Baltimore MD 21218 USA Cornell Univ Sibley Sch Mech & Aerosp Engn Ithaca NY USA
We propose a method for enhancing cybersecurity in spacecraft operations by analyzing and reducing the attack surface of flight software. We advocate for reducing complexity in the software architecture and adopting m... 详细信息
来源: 评论
In search of silver bullet
In search of silver bullet
收藏 引用
Proceedings of the Twelfth Annual International computer software & Applications conference (COMPSAC 88)
作者: Tanik, Murat M. Southern Methodist Univ Dallas TX USA
Summary form only given. The author examines the difficulties in solving the generic problem of finding reliable, efficient, timely, and cost-contained solutions for automation problems in software engineering. He not... 详细信息
来源: 评论
software engineering for expert systems: A 'proof' that software engineering really works
Software engineering for expert systems: A 'proof' that soft...
收藏 引用
Proceedings of the First International conference on systems Integration - ICSI '90
作者: Gieszl, Louis R. Johns Hopkins Univ Baltimore MD USA
An attempt has been made to determine whether an expert system shell can be developed while following the tenets of software engineering. This question has been answered in the affirmative through a review of how a gr... 详细信息
来源: 评论
Development of a wind turbine simulator for wind energy conversion systems
Development of a wind turbine simulator for wind energy conv...
收藏 引用
Canadian conference on Electrical and computer engineering (CCECE 2000)
作者: Chang, L Doraiswami, R Boutot, T Kojabadi, H Univ New Brunswick Dept Elect & Comp Engn Fredericton NB E3B 6Y1 Canada
A wind turbine simulator for wind energy conversion systems is developed with a view to design, evaluate and implement an actual wind turbine controller. The simulator consists of a 125 hp induction motor which drives... 详细信息
来源: 评论
Method, accuracy and limitation of computer interaction in the operating room by a navigated surgical instrument
Method, accuracy and limitation of computer interaction in t...
收藏 引用
33rd Annual International conference of the IEEE engineering-in-Medicine-and-Biology-Society (EMBS)
作者: Hurka, Florian Wenger, Thomas Heininger, Sebastian Lueth, Tim C. Tech Univ Munich Inst Micro Technol & Med Device Technol Ismaning Germany Univ Leipzig ERGOSURG GmbH D-04109 Leipzig Germany Tech Univ Munich Inst Micro Technol & Med Device Technol D-80290 Munich Germany
This article describes a new interaction device for surgical navigation systems - the so-called navigation mouse system. The idea is to use a tracked instrument of a surgical navigation system like a pointer to contro... 详细信息
来源: 评论
Recursive functions with implicit termination: A new approach illustrated by software-engineering examples
Recursive functions with implicit termination: A new approac...
收藏 引用
Proceedings of the Twenty-Third Annual Hawaii International conference on System Sciences. Volume 1: Architecture Track
作者: Linnemann, Volker IBM Sci Cent Heidelberg West Ger
The author describes how the extended non-first-normal-form (ENFNF) data model in combination with a recursion mechanism based on functions with implicit termination is a promising vehicle for the database part of sof... 详细信息
来源: 评论
'Catch 22' of re-engineering
'Catch 22' of re-engineering
收藏 引用
12th International conference on software engineering
作者: Kozaczynski, Wojtek Andersen Consulting
In this software reengineering discussion panel summary, it is assumed that the system can be understood on the following four levels: the programming language level, the control structure level, the generic algorithm... 详细信息
来源: 评论
A software dual-bus architecture suitable for distributed real-time embedded system
A software dual-bus architecture suitable for distributed re...
收藏 引用
International conference on computer Science and software engineering, CSSE 2008
作者: Chenglie, Du Gang, Li Department of Computer Northwestern Polytechnical University Xi'an
Distributed, real-time and embedded (DRE) systems with high confidence demands can benefit from dynamic reconfiguration technology to adjust and reconfigure system resources at runtime in response to the running state... 详细信息
来源: 评论
Guidelines for software education: Meeting the needs of the 21st century
Guidelines for software education: Meeting the needs of the ...
收藏 引用
Proceedings of the 1998 28th Annual Frontiers in Education conference, FIE. Part 3 (of 3)
作者: Bagert, Donald J. Hilburn, Thomas B. Hislop, Gregory W. Mengel, Susan A. Texas Tech Univ Lubbock United States
A number of disciplines, including computer science (CS), information systems, software engineering (SE), and computer engineering, in a variety of academic units, are concerned with the education of software professi... 详细信息
来源: 评论
Supporting rigorous evolution of UML models
Supporting rigorous evolution of UML models
收藏 引用
Proceedings - Ninth IEEE International conference on engineering Complex computer System: Navigating Complexity in the e-engineering Age, ICECCS 2004
作者: Judson, Sheena R. France, Robert B. Carver, Doris L. Computer Science Department Louisiana State University Baton Rouge LA United States Computer Science Department Colorado State University Fort Collins CO United States
The Model Driven Architecture (MDA) initiative formulated by the Object Management Group (OMG) is intended to support the development of software-intensive systems through the transformation of models to executable co... 详细信息
来源: 评论