咨询与建议

限定检索结果

文献类型

  • 338 册 图书
  • 2 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 341 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6 篇 工学
    • 5 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 机械工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
  • 1 篇 理学
    • 1 篇 数学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...

主题

  • 341 篇 control structur...
  • 110 篇 software enginee...
  • 86 篇 computer system ...
  • 68 篇 special purpose ...
  • 66 篇 computer communi...
  • 63 篇 computer systems...
  • 61 篇 input/output and...
  • 50 篇 artificial intel...
  • 43 篇 theory of comput...
  • 43 篇 processor archit...
  • 41 篇 logic design
  • 37 篇 programming tech...
  • 33 篇 software enginee...
  • 28 篇 electronics and ...
  • 26 篇 programming lang...
  • 25 篇 circuits and sys...
  • 23 篇 logics and meani...
  • 21 篇 operating system...
  • 20 篇 information syst...
  • 20 篇 information syst...

机构

  • 9 篇 rwth aachen univ...
  • 8 篇 university of li...
  • 6 篇 cispa helmholtz ...
  • 6 篇 tu wien austria
  • 6 篇 tu dortmund univ...
  • 5 篇 eindhoven univer...
  • 5 篇 thales deutschla...
  • 5 篇 politecnico di m...
  • 4 篇 research computi...
  • 4 篇 university of bi...
  • 4 篇 cesnet prague cz...
  • 4 篇 lawrence livermo...
  • 4 篇 1 rupee s t pune
  • 4 篇 national univers...
  • 3 篇 tel aviv univers...
  • 3 篇 university of wa...
  • 3 篇 chalmers univers...
  • 3 篇 lawrence berkele...
  • 3 篇 universidade fed...
  • 3 篇 tehran institute...

作者

  • 9 篇 bernhard steffen
  • 9 篇 tiziana margaria
  • 7 篇 vaibbhav taraate
  • 7 篇 friedemann bitsc...
  • 6 篇 ricardo reis
  • 6 篇 vladimir voevodi...
  • 5 篇 dalibor klusáček
  • 5 篇 helmut bähring
  • 4 篇 christopher korm...
  • 4 篇 gonzalo p. rodri...
  • 4 篇 slimane hammoudi
  • 4 篇 bronis r. de sup...
  • 3 篇 arie gurfinkel
  • 3 篇 katzalin olcoz
  • 3 篇 mikhail zymbler
  • 3 篇 marijn heule
  • 3 篇 sridutt bhalacha...
  • 3 篇 ivona brandic
  • 3 篇 sameer shende
  • 3 篇 hossein hojjat

语言

  • 339 篇 英文
  • 2 篇 中文
检索条件"主题词=control structures and microprogramming"
341 条 记 录,以下是101-110 订阅
排序:
Job Scheduling Strategies for Parallel Processing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dalibor Klusáček Walfredo Cirne Gonzalo P. Rodrigo
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due t... 详细信息
来源: 评论
Next Generation Arithmetic  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: John Gustafson Vassil Dimitrov
This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1–3, 2022.;The 8 full papers included in this ... 详细信息
来源: 评论
Software Engineering and Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Alexandre Madeira Alexander Knapp
来源: 评论
Computer Safety, Reliability, and Security  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Alexander Romanovsky Elena Troubitsyna Friedemann Bitsch
来源: 评论
Search-Based Software Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Aldeida Aleti Annibale Panichella
来源: 评论
Euro-Par 2024: Parallel Processing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jesus Carretero Javier Garcia-Blas Sameer Shende Ivona Brandic Katzalin Olcoz Martin Schreiber
来源: 评论
Digital Electronics for Musicians  1
收藏 引用
1000年
This is the perfect book for musicians who want to dive into the world of computer music and physical computing. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sens... 详细信息
来源: 评论
Verification, Model Checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Fritz Henglein Sharon Shoham Yakir Vizel
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference ... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification and Validation. Practice  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Margaria Bernhard Steffen
来源: 评论
Mikrorechner-Systeme  1
收藏 引用
丛书名: Springer-Lehrbuch
1000年
作者: Helmut Bähring
Durch den vielfältigen Einsatz von Mikroprozessoren wurde die Digitaltechnik zu einer Mischung aus Hard- und Software, bei der ein Entwickler nicht nur die geeignete Hardware auswählen und aufbauen, sondern ... 详细信息
来源: 评论