咨询与建议

限定检索结果

文献类型

  • 85,941 篇 会议
  • 2,714 册 图书
  • 1,656 篇 期刊文献
  • 4 篇 学位论文
  • 2 篇 科技报告

馆藏范围

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

日期分布

学科分类号

  • 46,653 篇 工学
    • 38,355 篇 计算机科学与技术...
    • 31,936 篇 软件工程
    • 6,369 篇 控制科学与工程
    • 6,310 篇 信息与通信工程
    • 5,551 篇 电气工程
    • 3,206 篇 机械工程
    • 2,953 篇 电子科学与技术(可...
    • 2,052 篇 生物工程
    • 1,598 篇 生物医学工程(可授...
    • 1,487 篇 安全科学与工程
    • 1,406 篇 动力工程及工程热...
    • 1,371 篇 仪器科学与技术
    • 1,269 篇 建筑学
    • 1,202 篇 土木工程
    • 1,144 篇 材料科学与工程(可...
    • 1,036 篇 光学工程
    • 1,029 篇 交通运输工程
  • 13,146 篇 理学
    • 7,348 篇 数学
    • 2,659 篇 物理学
    • 2,360 篇 系统科学
    • 2,236 篇 生物学
    • 1,757 篇 统计学(可授理学、...
  • 11,134 篇 管理学
    • 7,832 篇 管理科学与工程(可...
    • 4,111 篇 工商管理
    • 4,083 篇 图书情报与档案管...
  • 2,144 篇 教育学
    • 2,119 篇 教育学
  • 1,381 篇 医学
    • 1,179 篇 临床医学
    • 1,034 篇 基础医学(可授医学...
  • 1,377 篇 法学
    • 1,076 篇 社会学
  • 1,311 篇 经济学
    • 1,302 篇 应用经济学
  • 381 篇 农学
  • 257 篇 文学
  • 194 篇 军事学
  • 61 篇 艺术学
  • 2 篇 哲学
  • 2 篇 历史学

主题

  • 8,334 篇 application soft...
  • 7,061 篇 software enginee...
  • 5,895 篇 computer archite...
  • 5,265 篇 software
  • 5,216 篇 computer science
  • 4,414 篇 software systems
  • 4,158 篇 hardware
  • 3,544 篇 computer aided s...
  • 3,256 篇 control systems
  • 2,648 篇 computational mo...
  • 2,226 篇 costs
  • 2,079 篇 programming
  • 1,793 篇 artificial intel...
  • 1,749 篇 real time system...
  • 1,658 篇 computer softwar...
  • 1,618 篇 testing
  • 1,452 篇 real-time system...
  • 1,412 篇 software design
  • 1,359 篇 protocols
  • 1,350 篇 information syst...

机构

  • 197 篇 college of compu...
  • 119 篇 school of comput...
  • 63 篇 school of comput...
  • 56 篇 college of compu...
  • 54 篇 school of comput...
  • 49 篇 department of co...
  • 40 篇 college of compu...
  • 38 篇 school of comput...
  • 37 篇 department of el...
  • 36 篇 school of electr...
  • 36 篇 department of el...
  • 34 篇 institute of inf...
  • 32 篇 school of comput...
  • 32 篇 department of el...
  • 31 篇 department of co...
  • 30 篇 department of el...
  • 29 篇 state key labora...
  • 28 篇 school of comput...
  • 28 篇 department of co...
  • 27 篇 department of co...

作者

  • 40 篇 anon
  • 38 篇 bernady o. apduh...
  • 36 篇 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.

语言

  • 88,843 篇 英文
  • 1,002 篇 其他
  • 436 篇 中文
  • 32 篇 西班牙文
  • 18 篇 葡萄牙文
  • 15 篇 德文
  • 14 篇 土耳其文
  • 13 篇 俄文
  • 9 篇 法文
  • 4 篇 捷克文
  • 4 篇 日文
  • 2 篇 乌克兰文
  • 1 篇 朝鲜文
检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"
90317 条 记 录,以下是41-50 订阅
排序:
Empirical Characterization on computer Science and software engineering Semiospheres: A Chile and India Comparison
Empirical Characterization on Computer Science and Softwar...
收藏 引用
Multidisciplinary International conference of Research Applied to Defense and Security, MICRADS 2024
作者: Cares, Carlos Chakraborty, Pinaki Temuco4811230 Chile Dwarka New Delhi110078 India
Semiotics is the discipline that studies the signs and the cognitive process of meaning-making. As part of semiotics studies, the idea of semiospheres has been formulated, representing spheres of meaning that do not e... 详细信息
来源: 评论
Integrating systems Thinking into software engineering Education: A Teaching Experience  17
Integrating Systems Thinking into Software Engineering Educa...
收藏 引用
17th International conference on computer Supported Education, CSEDU 2025
作者: Correa, Rodrigo Lima, Márcia Conte, Tayana Instituto de Computação Universidade Federal do Amazonas Manaus Brazil Universidade do Estado do Amazonas Manaus Brazil
Context: The rapid evolution of software engineering in response to the complex demands of the modern digital society has led to increased pressure on developers to adapt quickly. However, a pragmatic approach often o... 详细信息
来源: 评论
Design of automated testing system for electronic safety and disarming devices based on Labview  24
Design of automated testing system for electronic safety and...
收藏 引用
8th International conference on computer Science and Application engineering, CSAE 2024
作者: Yan, Rong Huang, Qiangqiang Wu, Yunlong Yan, Xuan Zhu, Yanan Zhang, Ziqiang Sixth Factory Beijing Xinfeng Aerospace Equipment Co. Ltd. Beijing China School of computer science and technology Southwest University of Science and Technology Mianyang China
The electronic safety and arming device test system is developed to ensure the reliability of weapon systems. In view of the low test efficiency and high requirements for testers in manual testing during the current t... 详细信息
来源: 评论
Rigorous engineering of Collective Adaptive systems Introduction to the 5th Track Edition  12th
Rigorous Engineering of Collective Adaptive Systems Introduc...
收藏 引用
12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
作者: Wirsing, Martin De Nicola, Rocco Jaehnichen, Stefan Tribastone, Mirco Ludwig Maximilians Univ Munchen Munich Germany IMT Sch Adv Studies Lucca Lucca Italy TU Berlin Berlin Germany FZI Forschungszentrum Informat Berlin Berlin Germany
A collective adaptive system is made up of cooperating entities that can adjust in real time to evolving, open environments and shifting requirements. To ensure such a system meets its intended goals, rigorous enginee... 详细信息
来源: 评论
Leadership Teaching in Agile software engineering: A Systematic Mapping  17
Leadership Teaching in Agile Software Engineering: A Systema...
收藏 引用
17th International conference on computer Supported Education, CSEDU 2025
作者: Nascimento, Nicolas Sales, Afonso Chanin, Rafael PUCRS School of Technology RS Porto Alegre Brazil
The software industry is characterized by an environment of uncertainty, high volatility, and constant change. This context has shaped the industry, its components, and actors, generating methodologies capable of meet... 详细信息
来源: 评论
Enhancing software Defect Prediction in Ansible Scripts Using Code-Smell-Guided Prompting with Large Language Models in Edge-Cloud Infrastructures  4th
Enhancing Software Defect Prediction in Ansible Scripts Usin...
收藏 引用
24th International conference Web engineering (ICWE)
作者: Hong, Hyunsun Lee, Sungu Ryu, Duksan Baik, Jongmoon Korea Adv Inst Sci & Technol Daejeon South Korea Jeonbuk Natl Univ Jeonju South Korea
In edge-cloud systems, the quality of infrastructure deployment is crucial for delivering high-quality services, especially when using popular Infrastructure as Code (IaC) tools like Ansible. Ensuring the reliability ... 详细信息
来源: 评论
Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain  28th
Template-Based Smart Contract Verification: A Case Study on ...
收藏 引用
28th International conference on engineering of Complex computer systems (ICECCS)
作者: Zhao, Xufeng Wei, Qiuyang Zhu, Xue-Yang Zhang, Wenhui Chinese Acad Sci Key Lab Syst Software Beijing Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Univ Chinese Acad Sci Hangzhou Inst Adv Study Hangzhou Peoples R China Univ Chinese Acad Sci Beijing Peoples R China
Maritime transportation business suffers from trust issues and burdensome paperwork. Blockchain-based smart contracts are a promising solution. Due to the nature of the blockchain, it is important to verify smart cont... 详细信息
来源: 评论
Visualization of Professional Cyclists Analytics
收藏 引用
SN computer Science 2025年 第3期6卷 1-6页
作者: Rize, Denis Sinai, Perry Holohan, Liam Saldanha, Paulo Moskovitch, Robert Software and Information Systems Engineering Ben Gurion University of the Negev Beer Sheva Israel Department of Kinesiology McGill University Montreal Canada
Cycling is an important field of sport and a great example of a sport in which athletes are highly measured due to cycling computers that monitor and document workouts in detail. Leveraging this variety of data, we de... 详细信息
来源: 评论
Sustainable Development Goals in computer engineering: A Curriculum Integration  17
Sustainable Development Goals in Computer Engineering: A Cur...
收藏 引用
17th International conference on computer Supported Education, CSEDU 2025
作者: Markiegi, Urtzi Aldalur, Iñigo Electronics and Computing Department Mondragon Unibertsitatea Arrasate-Mondragon Spain San Sebastian Spain
This contribution delves into the incorporation of Sustainable Development Goals (SDGs) into the computer engineering curriculum. The study addresses challenges associated with integrating SDGs as cross-cutting conten... 详细信息
来源: 评论
BC-SBOM: Blockchain-based SBOM Management System  27
BC-SBOM: Blockchain-based SBOM Management System
收藏 引用
27th International conference on Advanced Communications Technology, ICACT 2025
作者: Song, Ahyun Seo, Euiseong Kim, Heeyoul Department of Computer Science and Engineering Sungkyunkwan University Korea Republic of Division of Computer Science and Engineering Kyonggi University Korea Republic of
This paper presents BC-SBOM, a novel blockchainbased system designed to enhance the management of software Bills of Materials (SBOMs). By leveraging blockchain technology, BC-SBOM ensures secure storage and sharing of... 详细信息
来源: 评论