咨询与建议

限定检索结果

文献类型

  • 4,806 篇 会议
  • 357 册 图书
  • 77 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 3,591 篇 工学
    • 3,089 篇 计算机科学与技术...
    • 2,587 篇 软件工程
    • 585 篇 信息与通信工程
    • 435 篇 控制科学与工程
    • 341 篇 电气工程
    • 229 篇 机械工程
    • 198 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 142 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 106 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 94 篇 土木工程
    • 83 篇 交通运输工程
    • 82 篇 材料科学与工程(可...
    • 81 篇 仪器科学与技术
  • 993 篇 理学
    • 559 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 171 篇 物理学
    • 153 篇 统计学(可授理学、...
    • 76 篇 化学
  • 803 篇 管理学
    • 568 篇 管理科学与工程(可...
    • 303 篇 工商管理
    • 291 篇 图书情报与档案管...
  • 143 篇 医学
    • 120 篇 临床医学
    • 110 篇 基础医学(可授医学...
  • 131 篇 教育学
    • 128 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 225 篇 software
  • 177 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 131 篇 computer communi...
  • 113 篇 computer science
  • 111 篇 software enginee...
  • 111 篇 computer softwar...
  • 108 篇 hardware
  • 105 篇 real-time system...
  • 95 篇 control systems
  • 90 篇 computer aided s...
  • 74 篇 software systems
  • 72 篇 computational mo...
  • 72 篇 software design
  • 71 篇 software archite...
  • 60 篇 software testing
  • 60 篇 logics and meani...

机构

  • 21 篇 college of compu...
  • 11 篇 school of softwa...
  • 8 篇 department of co...
  • 8 篇 state key labora...
  • 8 篇 univ york dept c...
  • 8 篇 dublin city univ...
  • 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 篇 univ haifa dept ...
  • 6 篇 school of inform...
  • 5 篇 univ chinese aca...
  • 5 篇 hebrew universit...
  • 5 篇 nanjing univ sta...
  • 5 篇 school of inform...

作者

  • 14 篇 kupferman orna
  • 14 篇 labiche yvan
  • 12 篇 david lo
  • 8 篇 mylopoulos john
  • 8 篇 yilmaz murat
  • 8 篇 reinhartz-berger...
  • 8 篇 sturm arnon
  • 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 篇 xin xia
  • 6 篇 katz guy
  • 6 篇 maoz shahar
  • 6 篇 exman iaakov
  • 6 篇 sulaiman shahida
  • 6 篇 lakhmi c. jain
  • 5 篇 bernady o. apduh...

语言

  • 4,855 篇 英文
  • 358 篇 其他
  • 56 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5241 条 记 录,以下是3801-3810 订阅
排序:
Automotive networks — Are new busses and gateways the answer or just another challenge?
Automotive networks — Are new busses and gateways the answe...
收藏 引用
International conference on Hardware/software Codesign and System Synthesis (CODES)
作者: Rolf Ernst Gernot Spiegelberg thomas Weber Herman Kopetz Alberto Sangiovanni-Vincentelli Marek Jersak Technische Universitat Braunschweig Germany Siemens VDO Automotive AG Germany DaimlerChrysler Aerospace Germany Technische Universitat Vienna Austria University of California Berkeley USA Symtavision GmbH Germany
Summary form only given. For many years, the automotive network was a set of isolated field buses used for independent applications. With growing automotive electronics complexity, the network has become a means for s... 详细信息
来源: 评论
Formal Techniques for Networked and Distributed systems - FORTE 2007  2007
收藏 引用
丛书名: Lecture Notes in computer Science
2007年
作者: John Derrick Jüri Vain
this book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International conference on Formal Techniques for Networked and Distributed systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-lo... 详细信息
来源: 评论
A Graduate Program on Embedded software engineering in China
A Graduate Program on Embedded Software Engineering in China
收藏 引用
conference on software engineering Education & Training (CSEE&T)
作者: Kang Yimei Software College BeiHang University Beijing China
software has become a key component of embedded systems as more and more complex embedded systems have been developed. Currently most embedded system developers in China are graduated from electronics, mechanics, auto... 详细信息
来源: 评论
Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks
Detection of Out-of-Norm Behaviors in Event-Triggered Virtua...
收藏 引用
IEEE International conference on Industrial Informatics (INDIN)
作者: R. Obermaisser P. Peti University of Technology Vienna Austria
the DECOS system architecture integrates time-triggered and event-triggered control for combining the benefits of both paradigms. For applications based on event-triggered control, this architecture establishes event-... 详细信息
来源: 评论
the Problem Frames Approach to software engineering
The Problem Frames Approach to Software Engineering
收藏 引用
Asia-Pacific conference on software engineering
作者: Michael Jackson Open University UK
software-intensive systems are those in which the computer executing the software is only one of the parts of the system. Problem frames offer a conceptual structure for the development of such systems: that is, a coh... 详细信息
来源: 评论
Object-oriented reengineering: report on the workshop WOOR'07 at ECOOP 2007 10th anniversary edition  07
收藏 引用
Proceedings of the 2007 conference on Object-oriented technology
作者: Serge Demeyer Yann-Gaël Guéhéneuc Anne Keller Christian F. J. Lange Kim Mens Adrian Kuhn Martin Kuhlemann Department of Mathematics and Computer Science University of Antwerp Belgium Department of Computer Science and Operations Research Université de Montréal Canada Engineering and Technology Group Eindhoven University of Technology Netherlands Département d'Ingénierie Informatique Université catholique de Louvain Belgium Software Composition Group University of Berne Switzerland School of Computer Science University of Magdeburg Germany
the ability to reengineer object-oriented legacy systems has become a vital matter in today's software industry. Early adopters of the object-oriented programming paradigm are now facing the problem of transformin...
来源: 评论
PTC-VANET Interactions to Prevent Highway Rail Intersection Crossing Accidents
PTC-VANET Interactions to Prevent Highway Rail Intersection ...
收藏 引用
IEEE 65th Vehicular Technology conference (VTC-Spring 2007), vol.5
作者: Mark Hartong Rajni Goel Csilla Farkas Duminda Wijesekera Department of Information and Software Engineering George Mason University Fairfax VA USA Department of Information Systems and Decision Sciences Howard University College of Medicine Washington D.C. DC USA Department of Computer Science and Engineering University of South Carolina Columbia SC USA
Vehicular Ad-hoc networks (VANETS) provide distributed real time communication of traffic hazards and road conditions among vehicles in a radio line of sight. We propose using VANETS to securely communicate with Posit... 详细信息
来源: 评论
Distributed Intelligent Medical Assistant for Osteoporosis Detection
Distributed Intelligent Medical Assistant for Osteoporosis D...
收藏 引用
29th Annual International conference of the IEEE engineering in Medicine and Biology Society (EMBS 2007), vol.11
作者: Wided Lejouad Chaari Sabine Moisan Sylvie Sevestre Ghalila Jean-Paul Rigault National School for Computer Studies SOIE Laboratory Manouba University Tunisia Orion Project National Research Institute in Computer Engineering and Control Sophia-Antipolis France MAP5 Laboratory University of Paris 5 France National School for Engineers U2S Research Team Tunis El Manar University Tunisia Nice University France
this paper describes a distributed knowledge-based system managing medical image processing programs to assist physicians in establishing image analysis protocols. We rely on program supervision techniques that aim to... 详细信息
来源: 评论
A framework supporting the utilization of domain knowledge embedded in software  07
A framework supporting the utilization of domain knowledge e...
收藏 引用
International conference on Conceptual Modeling
作者: Eran Rubin Yair Wand The University of British Columbia Vancouver B. C. Canada
the International conference on Conceptual Modeling (ER) series is an annual forum for exploring research, development, novel applications and industrial innovations in the area of conceptual modelling. the 26th editi... 详细信息
来源: 评论
A Comparison of Mental Task Combinations for Asynchronous EEG-Based BCIs
A Comparison of Mental Task Combinations for Asynchronous EE...
收藏 引用
29th Annual International conference of the IEEE engineering in Medicine and Biology Society (EMBS 2007), vol.12
作者: Francisco Sepulveda Matthew Dyson John Q. Gan C. S. L. Tsui BCI Group Department of Computer Science University of Essex UK
Aiming at developing asynchronous BCIs, we tested 21 2-class combinations of 7 mental tasks to determine whether any pair of tasks may be more suitable. the tasks under consideration were: auditory recall, mental navi... 详细信息
来源: 评论