咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 5,218 篇 电子文献
  • 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,089 篇 英文
  • 105 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5222 条 记 录,以下是421-430 订阅
排序:
Automated Tomato Inspection and Harvesting System Using Robotic Arm and computer Vision in Greenhouses  5
Automated Tomato Inspection and Harvesting System Using Robo...
收藏 引用
5th International conference on Advances in Computational Tools for engineering Applications, ACTEA 2023
作者: Haidar, Gaby Abou Deen, Maher Alaa Achkar, Roger Owayjan, Michel Daou, Roy Abi Zeid American University of Science and Technology Department of Mechatronics Engineering Zahle Lebanon Sagesse University Department of Mechatronics Engineering Beirut Lebanon
this paper discusses the development of an advanced robotic system equipped with a computer vision system for use in greenhouses to identify and harvest ripe, unripe, and diseased tomatoes. the system operates in two ... 详细信息
来源: 评论
Executable object modeling with statecharts
Executable object modeling with statecharts
收藏 引用
18th International conference on software engineering
作者: Harel, D Gery, E WEIZMANN INST SCI IL-76100 REHOVOTISRAEL
this paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. the goal is for models to be intuitive and well-structur... 详细信息
来源: 评论
5th International conference in software engineering for Defence Applications, SEDA 2015
5th International Conference in Software Engineering for Def...
收藏 引用
5th International conference in software engineering for Defence Applications, SEDA 2015
the proceedings contain 18 papers. the special focus in this conference is on software engineering for Defence Applications. the topics include: A machine learning approach for continuous development;toward a model of...
来源: 评论
Requirements engineering via Non-monotonic Logics and State Diagrams
Requirements Engineering via Non-monotonic Logics and State ...
收藏 引用
5th International conference on Evaluation of Novel Approaches to software engineering
作者: Billington, David Estivill-Castro, Vladimir Hexel, Rene Rock, Andrew Griffith Univ ICT IIIS Nathan Qld 4111 Australia Univ Popue Fabra Barcelona 7 Spain
We propose to model the behaviour of embedded systems by finite state machines whose transitions are modelled by predicates of non-monotonic logics. We argue that this enables modelling the behaviour in close parallel... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the effects of perceived web-store design characteristics on consumer's affective states and attitudes towards the store
The effects of perceived web-store design characteristics on...
收藏 引用
5th conference on Design and Emotion 2006
作者: Porat, Talya Tractinsky, Noam Industrial Engineering and Management Ben Gurion University of the Negev Beer Sheva 84105 Israel Information Systems Engineering Ben Gurion University of the Negev Beer Sheva 84105 Israel
this study tests a model that proposes that design elements of the e-store create environmental atmospheric that induce certain emotional states in the consumer, which in turn affect his/her attitudes towards the stor... 详细信息
来源: 评论
Non functional properties of event porcessing  11
Non functional properties of event porcessing
收藏 引用
Proceedings of the 5th ACM international conference on Distributed event-based system
作者: Etzion, Opher Rabinovich, Ella Skarbovsky, Inna IBM Haifa Research Labs. Haifa 31905 Israel
An important aspect of any system is the non-functional aspect, which is not concerned with what a system does, but rather with how well a system works. Since event processing applications are not monolithic, there ar... 详细信息
来源: 评论
Ibigkas! Math 2.0: An Intelligent computer-Supported Collaborative Learning Application for Grade 5 Mathematics  5th
Ibigkas! Math 2.0: An Intelligent Computer-Supported Collabo...
收藏 引用
5th International conference of the Adaptive Instructional systems (AIS) part of the 25th International conference on Human-computer Interaction (HCI)
作者: Bringula, Rex P. Ateneo Manila Univ Quezon City Philippines Univ East Manila Philippines
this paper reports the design and development of an intelligent mobile computer-supported collaborative learning (mCSCL) application in mathematics for Grade 5 elementary students named Ibigkas! Math. In the first exp... 详细信息
来源: 评论
Proceedings - 5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
Proceedings - 5th IEEE International Conference on Software ...
收藏 引用
5th IEEE International conference on software engineering and Formal Methods, SEFM 2007
the proceedings contain 36 papers. the topic discussed include: verification of C programs using automated reasoning;formalising design patters in predicate logic;retrenchment and the atomicity pattern;verifying the M...
来源: 评论
Reverse software engineering of concurrent programs
Reverse software engineering of concurrent programs
收藏 引用
Proceedings of the 5th Jerusalem conference on Information Technology
作者: Ge, X. Prywes, N. Computer Command & Control Co Philadelphia PA USA
the development of a system for reverse software engineering of real-time programs is described. It is addressed specifically to the US Navy's modernization of tactical and strategic systems. the approach is based... 详细信息
来源: 评论