咨询与建议

限定检索结果

文献类型

  • 1,304 册 图书
  • 11 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 1,317 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 14 篇 工学
    • 14 篇 计算机科学与技术...
    • 10 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 软件工程
  • 2 篇 理学
    • 2 篇 科学技术史(分学科...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 1,317 篇 computer system ...
  • 675 篇 computer communi...
  • 436 篇 artificial intel...
  • 308 篇 special purpose ...
  • 304 篇 software enginee...
  • 222 篇 programming tech...
  • 218 篇 computer applica...
  • 168 篇 software enginee...
  • 163 篇 processor archit...
  • 156 篇 theory of comput...
  • 150 篇 information syst...
  • 138 篇 programming lang...
  • 136 篇 operating system...
  • 130 篇 logics and meani...
  • 119 篇 algorithm analys...
  • 116 篇 information syst...
  • 112 篇 computer systems...
  • 94 篇 computation by a...
  • 89 篇 system performan...
  • 88 篇 systems and data...

机构

  • 35 篇 chinese academy ...
  • 34 篇 peking universit...
  • 23 篇 nanjing universi...
  • 22 篇 tsinghua univers...
  • 21 篇 sun yat-sen univ...
  • 18 篇 nankai universit...
  • 18 篇 beijing universi...
  • 16 篇 university of mi...
  • 15 篇 shanghai jiao to...
  • 15 篇 xiamen universit...
  • 13 篇 university of tw...
  • 13 篇 university of pe...
  • 13 篇 university of ca...
  • 13 篇 university of ba...
  • 11 篇 huazhong univers...
  • 11 篇 university of ce...
  • 10 篇 university of cr...
  • 10 篇 coventry univers...
  • 10 篇 polytechnic univ...
  • 10 篇 xinjiang univers...

作者

  • 29 篇 hongbin zha
  • 22 篇 osvaldo gervasi
  • 21 篇 beniamino murgan...
  • 21 篇 chiara garau
  • 19 篇 ana maria a. c. ...
  • 17 篇 david taniar
  • 16 篇 constantine step...
  • 15 篇 wushouer silamu
  • 15 篇 zhouchen lin
  • 15 篇 cheng-lin liu
  • 15 篇 ming-ming cheng
  • 15 篇 jie zhou
  • 15 篇 kurban ubul
  • 15 篇 ran he
  • 14 篇 bernhard steffen
  • 14 篇 qingshan liu
  • 14 篇 xilin chen
  • 14 篇 margherita anton...
  • 13 篇 zhanyu ma
  • 13 篇 hanzi wang

语言

  • 1,315 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"主题词=Computer system implementation"
1317 条 记 录,以下是131-140 订阅
排序:
computer Science Logic  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of computer... 详细信息
来源: 评论
Embedded computer systems: Architectures, Modeling, and Simulation  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
Stamatis Vassiliadis established the SAMOS workshop in the year 2001—an event which combines his devotion to computer engineering and his pride for Samos, the island where he was born. The quiet and inspiring norther... 详细信息
来源: 评论
Computational Science and Its Applications – ICCSA 2024 Workshops  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Osvaldo Gervasi Beniamino Murgante Chiara Garau David Taniar Ana Maria A. C. Rocha Maria Noelia Faginas Lago
来源: 评论
PARLE '91 Parallel Architectures and Languages Europe  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
来源: 评论
Designing Modern Embedded systems: Software, Hardware, and Applications  1
收藏 引用
丛书名: IFIP Advances in Information and Communication Technology
1000年
作者: Stefan Henkler Achim Rettberg Márcio Kreutz Marco A. Wehrmeister Marcelo Götz
来源: 评论
Model-Driven Engineering and Software Development  1
收藏 引用
丛书名: Communications in computer and Information Science
1000年
作者: Luís Ferreira Pires Slimane Hammoudi Edwin Seidewitz
This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and M... 详细信息
来源: 评论
Service-Oriented and Cloud Computing  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Fabrizio Montesi George Angelos Papadopoulos Wolf Zimmermann
来源: 评论
Logic and Its Applications  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Mohua Banerjee A. V. Sreejith
来源: 评论
OpenMP in a Modern World: From Multi-device Support to Meta Programming  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Michael Klemm Bronis R. de Supinski Jannis Klinkenberg Brandon Neth
This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.
来源: 评论
Theorem Proving in Higher Order Logics  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Konrad Slind Annette Bunker Ganesh Gopalakrishnan
This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14–17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of th... 详细信息
来源: 评论