咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,588 篇 工学
    • 3,087 篇 计算机科学与技术...
    • 2,586 篇 软件工程
    • 583 篇 信息与通信工程
    • 434 篇 控制科学与工程
    • 339 篇 电气工程
    • 230 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 141 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 106 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 94 篇 土木工程
    • 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
  • 175 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 130 篇 computer communi...
  • 114 篇 computer science
  • 110 篇 software enginee...
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 90 篇 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,094 篇 英文
  • 104 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5226 条 记 录,以下是4631-4640 订阅
排序:
Design of a clinical workstation for primary health care
Design of a clinical workstation for primary health care
收藏 引用
Annual International conference of the IEEE engineering in Medicine and Biology Society (EMBC)
作者: B.G. Celler N.H. Lovell E. Ilsar K. Lim Biomedical Systems Laboratory School of Electrical Engineering University of New South Wales Sydney NSW Australia Centre for Biomedical Technology School of Biomedical Sciences University of Technology-Sydney Broadway NSW Australia Biomedical Systems LaboratorySchool of Electrical Engineering University of New South Wales Sydney NSW Australia
the authors report on the design and development of an integrated clinical workstation for primary health care. the workstation is Windows based, has a sophisticated user interface and supports a wide range of computi... 详细信息
来源: 评论
Comparing human and machine performance for natural language information extraction: Results for english microelectronics from the MUC-5 evaluation  5
Comparing human and machine performance for natural language...
收藏 引用
5th Message Understanding conference, MUC 1993
作者: Will, Craig A. Institute for Defense Analyses Computer and Software Engineering Division 1801 N. Beauregard Street AlexandriaVA22311 United States
来源: 评论
the engineering implication of an integrated GIS and CAD system
The engineering implication of an integrated GIS and CAD sys...
收藏 引用
Proceedings of the 5th International conference on Computing in Civil and Building engineering - V-ICCCBE
作者: DAvis, Matthew Environmental Systems Res Inst Inc Redlands United States
A Geographic Information System is an information system optimized to operate on geographically referenced data. A computer Aided Drafting software package duplicates the tasks involved with drafting on a computer sys... 详细信息
来源: 评论
5th International conference on Advanced Information systems engineering, CAiSE 1993
收藏 引用
5th International conference on Advanced Information systems engineering, CAiSE 1993
the proceedings contain 34 papers. the special focus in this conference is on Advanced Information systems engineering. the topics include: a procedural approach to schema evolution;an active meta-model for knowledge ...
来源: 评论
Verification of real-time software for active structural control
Verification of real-time software for active structural con...
收藏 引用
Proceedings of the 5th International conference on Computing in Civil and Building engineering - V-ICCCBE
作者: Baugh, John W. Elseaidy, Wael M. North Carolina State Univ Raleigh United States
In this paper we give an overview of our preliminary work in verifying the reliability of real-time software systems for active structural control. While there have been numerous studies on control strategies, our wor... 详细信息
来源: 评论
Facilities management system with CAD and information control tools
Facilities management system with CAD and information contro...
收藏 引用
Proceedings of the 5th International conference on Computing in Civil and Building engineering - V-ICCCBE
作者: Ishisone, Hideyuki Tokitsu, Brent Tenjin, Yoshihisa Bus Inc Tokyo Japan
this paper concerns the establishment of a facilities management (here after referred to as ″FM″) system using ready-made computer software. In general, most so-called FM systems consist of special software and expe... 详细信息
来源: 评论
Explanation facilities for intelligent engineering tutors
Explanation facilities for intelligent engineering tutors
收藏 引用
Proceedings of the 5th International conference on Computing in Civil and Building engineering - V-ICCCBE
作者: Baker, Nelson C. Georgia Inst of Technol Atlanta United States
Intelligent Tutoring systems (ITS) provide a method for humans to interact with a computer to learn about a particular topic. Usually, the ITS system has as part of its components a knowledge-based system (KBS). the d... 详细信息
来源: 评论
Similarity for analogical software reuse: A conceptual modelling approach  5th
收藏 引用
5th International conference on Advanced Information systems engineering, CAiSE 1993
作者: Spauoudakis, George Constantopoulos, Panos Department of Computer Science University of Crete and Institute of Computer Science Foundation of Research and Technology Hellas HeruklionCrete Greece
We present our approach In defining similarity between software artifacts ami discuss its potential exploitation in software reuse by analogy. We first establish properties of similarity which support its role in retr... 详细信息
来源: 评论
computer-aided verification of software process model properties  5th
收藏 引用
5th International conference on Advanced Information systems engineering, CAiSE 1993
作者: Bröckers, Alfred Gruhn, Volker AG Software Engineering University of Kaiserslautem Kaiserslautern Germany Fraunhofer-Institut für Software und Systemtechnik C/o University of Dortmund Dortmund Germany
In this paper we introduce an approach to computer-aided verification of software process model properties. this approach uses a net-based software process modeling language called FUNSOFT nets. FUNSOFT nets are highl... 详细信息
来源: 评论
Object oriented modeling of structural systems
Object oriented modeling of structural systems
收藏 引用
Proceedings of the 5th International conference on Computing in Civil and Building engineering - V-ICCCBE
作者: Hartmann, Dietrich Fischer, Arnd Holewik, Peter Ruhr-Univ Bochum Germany
Computational engineering in structural design is no longer restricted to numerical approaches. Increasingly, also non-numerical, in particular, cognitive problems can be implemented into effective computer systems. I... 详细信息
来源: 评论