咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,591 篇 工学
    • 3,090 篇 计算机科学与技术...
    • 2,585 篇 软件工程
    • 586 篇 信息与通信工程
    • 435 篇 控制科学与工程
    • 341 篇 电气工程
    • 231 篇 机械工程
    • 199 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 141 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 99 篇 动力工程及工程热...
    • 95 篇 土木工程
    • 82 篇 材料科学与工程(可...
    • 82 篇 交通运输工程
    • 81 篇 仪器科学与技术
  • 990 篇 理学
    • 556 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 169 篇 物理学
    • 151 篇 统计学(可授理学、...
    • 76 篇 化学
  • 802 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 289 篇 图书情报与档案管...
  • 142 篇 医学
    • 119 篇 临床医学
    • 109 篇 基础医学(可授医学...
  • 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...
  • 129 篇 computer communi...
  • 114 篇 computer science
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 107 篇 software enginee...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 89 篇 computer aided s...
  • 73 篇 software systems
  • 72 篇 computational mo...
  • 71 篇 software archite...
  • 71 篇 software design
  • 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 篇 英文
  • 107 篇 其他
  • 34 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5224 条 记 录,以下是121-130 订阅
排序:
software engineering Perspectives and Application in Intelligent systems  1st ed. 2016
收藏 引用
丛书名: Advances in Intelligent systems and Computing
2016年
作者: Radek Silhavy Roman Senkerik Zuzana Kominkova Oplatkova Petr Silhavy Zdenka Prokopova
the volume software engineering Perspectives and Application in Intelligent systems presents new approaches and methods to real-world problems, and in particular, exploratory research that describes novel approaches i...
来源: 评论
Design of a library for simulations
Design of a library for simulations
收藏 引用
5th israel conference on computer systems and software engineering
作者: Pollatschek, M.A. Fac of Ind Eng & Manage Technion Haifa Israel
A methodology for library design is outlined and it is implemented for the domain of discrete event simulations. the top-down approach consists of five stages: (1) state the users' needs, (2) state the general goa... 详细信息
来源: 评论
software re-engineering using hierarchical-client-server paradigm (HCS) & BUBBLES
Software re-engineering using hierarchical-client-server par...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Shagam, Eli Tadiran Systems Holon Israel
the author presents a software re-engineering method based on the hierarchical-client-server (HCS) paradigm. the re-engineering method consists of extracting cross-reference relations and transforming the data into an... 详细信息
来源: 评论
Variations on parallel control structures
Variations on parallel control structures
收藏 引用
5th israel conference on computer systems and software engineering
作者: Bahat, Eran Barak, Amnon
the authors introduce control structures for parallel programming designed to facilitate the process of developing parallel programs. these basic control structures are listed, and are given intuitive sequential and p... 详细信息
来源: 评论
Maintenance of system software on a wide area network of mainframes
Maintenance of system software on a wide area network of mai...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Wolfgor, Ofer Mamram
the author suggests a method for managing and maintaining the basic software in a network from a central installation, thus offering great saving of effort, with nearly no degradation in the service level. the method ... 详细信息
来源: 评论
Detecting Antimicrobial Resistance through MALDI-TOF Mass Spectrometry with Statistical Guarantees Using Conformal Prediction  29th
Detecting Antimicrobial Resistance Through MALDI-TOF Mass Sp...
收藏 引用
29th International conference on Research in Computational Molecular Biology, RECOMB 2025
作者: Corvelo Benz, Nina Miranda, Lucas Chen, Dexiong Sattler, Janko Borgwardt, Karsten Max Planck Institute for Software Systems Kaiserslautern Germany Department of Biosystems Science and Engineering ETH Zurich Zurich Switzerland Department of Machine Learning and Systems Biology Max Planck Institute of Biochemistry Martinsried Germany
Antimicrobial resistance is a global health challenge, complicating the treatment of bacterial infections and leading to higher patient morbidity and mortality. Rapid and reliable identification of resistant pathogens... 详细信息
来源: 评论
the problem of tested elements reduction in structural program testing
The problem of tested elements reduction in structural progr...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Lin, Jin-Cherng Chen, Wu-Chiang
An approach to the tested elements reduction problem, in which a set of reduction rules is developed to detect the dominated tested elements and remove them is proposed. the dominant elements are then manifested. thes... 详细信息
来源: 评论
Individuality and methodology in large DP projects
Individuality and methodology in large DP projects
收藏 引用
5th israel conference on computer systems and software engineering
作者: Kushner, Dorothy Kleinman Tel Aviv Israel
Aspects of methodology in correction with large DP projects are discussed. It is pointed out that methodology is a mapping of the stages of a project and/or the deliverables produced by each of those stages against ti... 详细信息
来源: 评论
Sublinked CSCIs at test and integration--Application and its implications on development environments
Sublinked CSCIs at test and integration--Application and its...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Shai, Yitzhak S. Astronautics CA Israel
the software engineering principles that lead to the decomposition of a software system to CSCIs (computer software configuration items) were applied in the software integration phase of a relatively large tightly cou... 详细信息
来源: 评论
A concurrent approach to systems development and requirements specifications: A case study
A concurrent approach to systems development and requirement...
收藏 引用
5th israel conference on computer systems and software engineering
作者: Winokur, M. Engel, A. Gallant, R.
At israel Aircraft Industries (IAI), a variety of system development processes have been used to address the various phases of computer-based system (CBS) system development. these include methodologies and techniques... 详细信息
来源: 评论