咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 5,220 篇 电子文献
  • 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,091 篇 英文
  • 105 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5224 条 记 录,以下是4791-4800 订阅
排序:
Logic interface system on navigational database systems  5th
Logic interface system on navigational database systems
收藏 引用
5th conference on Logic Programming, 1986
作者: Takizawa, Makoto Itoh, Hideaki Moriya, Kunihiko Department of Systems and Management Engineering Tokyo Denki University Japan Japan Information Processing Development Center Japan Hitachi Software Engineering Japan
this paper presents the design and implementation of logic language interface on conventional network database systems which provide network data structure and navigational data manipulation language. this interface p... 详细信息
来源: 评论
A pragmatic approach to systems analysis and design  87
A pragmatic approach to systems analysis and design
收藏 引用
18th SIGCSE Technical Symposium on computer Science Education, SIGCSE 1987
作者: Fritz, Jane M. University of New Brunswick FrederictonNBE3B 5A3 Canada
the University of New Brunswick offers a wide selection of upper year computer Science electives. systems analysis and design, consisting of the study and use of the system life cycle for developing business informati... 详细信息
来源: 评论
20mN class Xenon Ion thruster for ETS-VI
20mN class Xenon Ion thruster for ETS-VI
收藏 引用
19th International Electric Propulsion conference, 1987
作者: Shimada, S. Sato, K. Takegahara, H. Kajiwara, K. Kamakura Works Mitsubishi Electric Corporation 325 Kamimachiya KamakuraKanagawa247 Japan National Space Development Agency Propulsion Group World Trade Center Bldg. 2-4-1 Hamamatsucho MinatokuTokyo105 Japan
A first-stage life time test of Xe ion thruster for engineering Test Satellite VI is being conducted. As of April 1987, 5,000 hours operation has completed. thruster and power supply system are controlled by thruster ... 详细信息
来源: 评论
software engineering at the University of Dayton (abstract only)  87
Software engineering at the University of Dayton (abstract o...
收藏 引用
Proceedings of the 15th annual conference on computer Science
作者: Raghava Gowda Leon Winslow Department of Computer Science University of Dayton
Although no standard software engineering (SE) curriculum exists, currently a few schools are offering SE degrees and many more are offering courses that include some of the concepts and techniques of SE. the software...
来源: 评论
An expert system application the adaptive model following control system
An expert system application the adaptive model following co...
收藏 引用
IEEE conference on Decision and Control
作者: Baxter F. Womack Toshihisa Yamada Department of Electrical & Computer Engineering University of Texas Austin Austin TX USA
An application of expert system techniques for real time process control is discussed. the paper concentrates on an expert system for the dynamic control gain optimization of adaptive model following control (AMFC). T... 详细信息
来源: 评论
Kharitonov's theorem and its extensions and applications: An introduction
Kharitonov's theorem and its extensions and applications: An...
收藏 引用
IEEE conference on Decision and Control
作者: B. Ross Barmish Department of Electrical and Computer Engineering University of Wisconsin Madison Madison WI USA
the objective of this short paper is to briefly introduce the topic area for much of the research to be presented in this invited session. the starting point for this presentation is Kharitonov's theorem [1]. A tu... 详细信息
来源: 评论
Public Protection of software  5th
Public Protection of Software
收藏 引用
5th Annual International Cryptology conference, CRYPTO 1985
作者: Herzberg, Amir Pinter, Shlomit S. Dept. of Electrical Engineering Technion - Israel Institute of Technology Haifa32000 Israel
One of the overwhelming problems that software producers must contend with, is the unauthorized use and distribution of their products. Copyright laws concerning software are rarely enforced, thereby causing major los... 详细信息
来源: 评论
GROUP APPLICATION AND INTEGRATION OF AUTOMATED FLEXIBLE MANUFACTURING systems IN MACHINERY PLANT.
GROUP APPLICATION AND INTEGRATION OF AUTOMATED FLEXIBLE MANU...
收藏 引用
software for Discrete Manufacturing, Proceedings of the 6th International IFIP/IFAC conference.
作者: Kozar, Zdenek VUSTE Prague Czech VUSTE Prague Czech
At the 5th PROLAMAT '82 conference the results of research had been presented pertaining to gradual automation of a medium-sized batch-type mechanical engineering factory. Since than, these results have already be... 详细信息
来源: 评论
FRAMEWORK FOR PROTOTYPING EXPERT systems FOR FINANCIAL APPLICATIONS  5
FRAMEWORK FOR PROTOTYPING EXPERT SYSTEMS FOR FINANCIAL APPLI...
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
作者: Friedman, Jacob Y. Jain, Atul Decision Support Group Management Consulting Services Coopers & Lybrand New YorkNY10020 United States
Analysis of difficulties in transferring expert systems technology into the financial industry applications suggests that speed-up of the prototyping phase can significantly reduce the cost and length of the entire de... 详细信息
来源: 评论
PRESENT TENDENCIES IN computer AIDED PROCESS PLANNING.
PRESENT TENDENCIES IN COMPUTER AIDED PROCESS PLANNING.
收藏 引用
software for Discrete Manufacturing, Proceedings of the 6th International IFIP/IFAC conference.
作者: Weill, Roland D. Technion-Israel Inst of Technology Haifa Isr Technion-Israel Inst of Technology Haifa Isr
Based on a previous analysis of the process planning procedure, a general classification of computer aided process planning systems is suggested. It distinguishes essentially small calculation systems, specific module... 详细信息
来源: 评论