咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是491-500 订阅
排序:
Principles, standards and tools for model engineering
Principles, standards and tools for model engineering
收藏 引用
10th IEEE International conference on engineering of Complex computer systems
作者: Bézivin, J Jouault, F Touzet, D ATLAS Group (LINA and INRIA) France
We take here a broad view of model engineering as encompassing different approaches such as the OMG MDA (TM) proposal [9], the Microsoft software Factories view [5], and many others. We distinguish the three levels of... 详细信息
来源: 评论
software configuration management applied to service oriented architecture
Software configuration management applied to service oriente...
收藏 引用
2007 15th International conference on software, Telecommunications and computer Networks, SoftCOM 2007
作者: Raygan, Robert E. Synovus Financial Corporation 1000 5th Avenue Columbus GA 31901 United States University of Alabama at Birmingham Department of Electrical and Computer Engineering Center for Telecommunications Education and Research 1150 10th Avenue South Birmingham AL 35294 United States
Service-Oriented Architecture (SOA) is an evolving machine communication process widely deployed and likely to gain further adoption with Web 2.0 implementation. SOA allows loosely coupled operations to communicate in... 详细信息
来源: 评论
Fitting spatial ability and free-formed questions into Intelligent Tutoring systems development
Fitting spatial ability and free-formed questions into Intel...
收藏 引用
5th New Zealand computer Science Research Student conference, NZCSRSC 2007
作者: Milik, Nancy Mitrovic, Antonija Grimley, Michael Intelligent Computer Tutoring Group Department of Computer Science and Software Engineering University of Canterbury New Zealand
Building effective learning tools is an art that can only be perfected by a great deal of explorations involving the tools' audience: the learners. this paper focuses on accounting for the learners' spatial ab... 详细信息
来源: 评论
Analysis of Supply Chain Attacks in Open-Source software and Mitigation Strategies  5
Analysis of Supply Chain Attacks in Open-Source Software and...
收藏 引用
5th IEEE International conference on Communication, Computing and Industry 6.0, C2I6 2024
作者: Merigala, Joseph Kumar, Vivek Gujjarlapudi, Jashuva Gupta, Manas Kumar, Athmakuri Satish K.L University Computer Science and Engineering Andhra Pradesh India
Supply Chain Attacks, particularly those exploiting the extensive implementation of open-source software and libraries have continued to compromise the security of enterprise applications. the exploit discovered in th... 详细信息
来源: 评论
Parallel batch B+-tree insertion on multi-core architectures
Parallel batch B+-tree insertion on multi-core architectures
收藏 引用
5th International conference on Frontier of computer Science and Technology, FCST 2010
作者: Liao, Jiangmiao Chen, Hu Yuan, Yixia Jianqing, X.I. School of Software Engineering South China University of Technology Guangzhou China School of Computer Science and Engineering South China University of Technology Guangzhou China
Multi-core computers have become more and more popular, which presents new opportunities for improving performance of database systems. How to exploit the potential performance on multi-core systems has become a key f... 详细信息
来源: 评论
Design of Rectangular Microstrip Patch Antenna 2-Elements Array for Dual Broadband Applications  5
Design of Rectangular Microstrip Patch Antenna 2-Elements Ar...
收藏 引用
5th International conference on Electrical, Telecommunication and computer engineering, ELTICOM 2021
作者: Rambe, Ali Hanafiah Azzubairi, Muhammad Iqbal Hasan, Syafruddin Abdillah, Khairil Suherman Dinzi, Riswan Universitas Sumatera Utara Department of Electrical Engineering Medan Indonesia Universitas Sari Mutiara Indonesia Medical Electrical Engineering Medan Indonesia
the Long Term Evolution (LTE) and Wireless Local Area Network (WLAN) are different broadband communication systems. However, a microstrip antenna can use simultaneously for both. this paper discussed a rectangular pat... 详细信息
来源: 评论
Quantitative observation and theoretical construction in software architecture
Quantitative observation and theoretical construction in sof...
收藏 引用
5th Working IEEE/IFIP conference on software Architecture, WICSA 2005
作者: Booch, Grady IBM Rational
Classical science advances via the dance between quantitative observation and theoretical construction. It has been ten years since the first International software Architecture Workshop, and since that time there has... 详细信息
来源: 评论
Demo abstract: Design and implementation of a PCO-based protocol for sensor networks
Demo abstract: Design and implementation of a PCO-based prot...
收藏 引用
5th ACM International conference on Embedded Networked Sensor systems, SenSys'07
作者: Pagliari, Roberto Scaglione, Anna Department of Electrical and Computer Engineering Cornell University Ithaca NY United States
Sensor networks have been used in a wide range of applications. Considerable research effort is currently devoted to design protocols that allow networks of inexpensive sensors to perform reliable remote control and m... 详细信息
来源: 评论
Reusable interactions for animation
Reusable interactions for animation
收藏 引用
Proceedings of the 1998 5th International conference on software Reuse
作者: Lee, Gene S. Univ of British Columbia Vancouver Canada
this paper identifies reusable interactions and presents them as an important construct for the development and reuse of software for computer animation. A reusable interaction manages the flow of information among so... 详细信息
来源: 评论
Analyzing model checking approach for multi agent system verification
Analyzing model checking approach for multi agent system ver...
收藏 引用
2011 5th Malaysian conference in software engineering, MySEC 2011
作者: Bakar, Najwa Abu Selamat, Ali Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81300 Skudai Johor Malaysia
During requirement specification process of software development activities, many existing systems or business process requirements have been captured using natural language or specialized tools such as UML. However, ... 详细信息
来源: 评论