咨询与建议

限定检索结果

文献类型

  • 86,124 篇 会议
  • 2,723 册 图书
  • 1,726 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

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

日期分布

学科分类号

  • 46,771 篇 工学
    • 38,459 篇 计算机科学与技术...
    • 31,975 篇 软件工程
    • 6,391 篇 控制科学与工程
    • 6,351 篇 信息与通信工程
    • 5,584 篇 电气工程
    • 3,219 篇 机械工程
    • 2,960 篇 电子科学与技术(可...
    • 2,058 篇 生物工程
    • 1,600 篇 生物医学工程(可授...
    • 1,488 篇 安全科学与工程
    • 1,408 篇 动力工程及工程热...
    • 1,374 篇 仪器科学与技术
    • 1,271 篇 建筑学
    • 1,203 篇 土木工程
    • 1,161 篇 材料科学与工程(可...
    • 1,037 篇 光学工程
    • 1,031 篇 交通运输工程
  • 13,183 篇 理学
    • 7,373 篇 数学
    • 2,662 篇 物理学
    • 2,365 篇 系统科学
    • 2,244 篇 生物学
    • 1,768 篇 统计学(可授理学、...
  • 11,156 篇 管理学
    • 7,852 篇 管理科学与工程(可...
    • 4,112 篇 工商管理
    • 4,085 篇 图书情报与档案管...
  • 2,145 篇 教育学
    • 2,119 篇 教育学
  • 1,384 篇 医学
    • 1,180 篇 临床医学
    • 1,034 篇 基础医学(可授医学...
  • 1,377 篇 法学
    • 1,076 篇 社会学
  • 1,312 篇 经济学
    • 1,303 篇 应用经济学
  • 382 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 62 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,329 篇 application soft...
  • 7,111 篇 software enginee...
  • 5,921 篇 computer archite...
  • 5,292 篇 software
  • 5,225 篇 computer science
  • 4,425 篇 software systems
  • 4,162 篇 hardware
  • 3,534 篇 computer aided s...
  • 3,262 篇 control systems
  • 2,660 篇 computational mo...
  • 2,223 篇 costs
  • 2,093 篇 programming
  • 1,809 篇 artificial intel...
  • 1,744 篇 computer softwar...
  • 1,740 篇 real time system...
  • 1,619 篇 testing
  • 1,508 篇 real-time system...
  • 1,418 篇 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...
  • 35 篇 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,054 篇 英文
  • 1,053 篇 其他
  • 436 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90579 条 记 录,以下是4911-4920 订阅
排序:
Simulation of the fuel gas and raw material supply system to the furnace of the atmospheric oil distillation unit and development of a computer training software  2
Simulation of the fuel gas and raw material supply system to...
收藏 引用
2nd International Scientific conference on Applied Physics, Information Technologies and engineering (APITECH)
作者: Shulaeva, E. A. Pavlov, V. B. Burdov, A. E. Ufa State Petr Technol Univ Sterlitamak Dept Automated Technol & Informat Syst Branch Oktyabrya Av 2 Sterlitamak 453118 Bashkortostan R Russia Ufa State Petr Technol Univ Sterlitamak Dept Equipment Petrochem Plants Branch Oktyabrya Av 2 Sterlitamak 453118 Bashkortostan R Russia
software products designed to simulate technological processes are currently very relevant, since they help to prepare workers in advance for difficult production situations. It has been proven that simulation systems... 详细信息
来源: 评论
Exploring the semantic structure of technical document collections: A cooperative systems approach  7th
Exploring the semantic structure of technical document colle...
收藏 引用
7th International conference on Cooperative Information systems (CoopIS 2000)
作者: Becks, A Sklorz, S Jarke, M Rhein Westfal TH Aachen Lehrstuhl Informat 5 D-52056 Aachen Germany GMD FIT D-53754 St Augustin Germany
Identifying and analyzing the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves tasks such as standard generation and evaluati... 详细信息
来源: 评论
OUT OF THE LAB AND INTO THE FIELD - SYSTEM-DESIGN OF LARGE EXPERT systems
OUT OF THE LAB AND INTO THE FIELD - SYSTEM-DESIGN OF LARGE E...
收藏 引用
INTERNATIONAL CONF ON DEVELOPING AND MANAGING EXPERT SYSTEM PROGRAMS
作者: GARRETT, R Computer and Software Engineering Division Institute for Defense Analyses 1801 N.Beauregard St. Alexandria 22311 VA United States
Traditional software engineering is crucial to the successful development and deployment of a large expert system. In this respect, large expert systems are shown to have many similarities with other large software sy... 详细信息
来源: 评论
Detecting Architecturally-Relevant Code Smells in Evolving software systems  11
Detecting Architecturally-Relevant Code Smells in Evolving S...
收藏 引用
33rd International conference on software engineering (ICSE)
作者: Bertran, Isela Macia Pontif Catholic Univ Rio de Janeiro Dept Informat Rio De Janeiro Brazil
Refactoring tends to avoid the early deviation of a program from its intended architecture design. However, there is little knowledge about whether the manifestation of code smells in evolving software is indicator of... 详细信息
来源: 评论
A Review on DevOps Adoption in Continuous Delivery Process  7
A Review on DevOps Adoption in Continuous Delivery Process
收藏 引用
7th International conference on software engineering and computer systems and 4th International conference on Computational Science and Information Management, ICSECS-ICOCSIM 2021
作者: Toh, M. Zulfahmi Sahibuddin, Shamsul Bakar, Rohani Abu Universiti Teknologi Malaysia Razak Faculty of Technology and Informatics Advanced Informatic Department Kuala Lumpur54100 Malaysia Universiti Malaysia Pahang Faculty of Computer Pahang Pekan26600 Malaysia
DevOps is recognized as a set of software development and operation practices that advocates a tight integration between development and operation in software delivery and operation activity to achieve faster software... 详细信息
来源: 评论
XPRIT:: an XML-based tool to translate UML diagrams into execution graphs and queueing networks
<i>XPRIT</i>:: an XML-based tool to translate UML diagrams i...
收藏 引用
1st International conference on the Quantitative Evaluation of systems (QEST 2004)
作者: Cortellessa, V Gentile, M Pizzuti, M Univ Aquila Dipartimento Informat I-67010 Coppito AQ Italy
Various methodologies exist to annotate software models with data related to performance, and to translate the annotated models into performance models. A relevant objective is now at hand in this direction, that is t... 详细信息
来源: 评论
Using Compositionality to Formally Model and Analyze systems Built of a High Number of Components
Using Compositionality to Formally Model and Analyze Systems...
收藏 引用
15th IEEE International conference on engineering of Complex computer systems (ICECCS)
作者: Bindelli, Silvia Di Nitto, Elisabetta Furia, Carlo A. Rossi, Matteo Politecn Milan DEI DEEP SE Grp Milan Italy Swiss Fed Inst Technol Chair Software Engn Zurich Switzerland
When dependability of systems with a large number of components is a concern, being able to model and analyze their properties, especially non-functional ones, in a formal and automated way becomes essential. Often, h... 详细信息
来源: 评论
Actor eco-systems: From high-level agent models to executable processes via semantic annotations
Actor eco-systems: From high-level agent models to executabl...
收藏 引用
31st Annual International computer software and Applications conference, COMPSAC 2007
作者: Ghose, Aditya Koliadis, George Decision Systems Laboratory School of Computer Science and Software Engineering University of Wollongong NSW 2522 Australia
We introduce the notion of an actor eco-system a framework that addresses the design-time requirements of building multi-actor (multi-agent) systems such as supply chains, business networks, virtual organizations etc.... 详细信息
来源: 评论
The Symptoms, Causes, and Repairs of Workarounds in Apache Issue Trackers  22
The Symptoms, Causes, and Repairs of Workarounds in Apache I...
收藏 引用
44th ACM/IEEE International conference on software engineering - New Ideas and Emerging Results (ICSE-NIER)
作者: Yan, Aoyang Zhong, Hao Song, Daohan Jia, Li Shanghai Jiao Tong Univ Shanghai Peoples R China
In issue tracker systems, a bug report can be resolved as workaround. Since the definition of workarounds is vague, many research questions on workarounds are still open. For example, what are the symptoms of bugs whi... 详细信息
来源: 评论
software components adaptive integration
Software components adaptive integration
收藏 引用
8th Annual IEEE International conference on the Workshop on the engineering of computer Based systems
作者: Guo, J. Department of Computer Science California State University Bakersfield CA 93311 United States
The key to integration is determining the relationship between what components are potentially reusable and how they can be properly adapted. This paper addresses how the results of specification matching can be used ... 详细信息
来源: 评论