咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
Transactions on Petri Nets and Other Models of Concurrency XVII  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Maciej Koutny Robin Bergenthum Gianfranco Ciardo
来源: 评论
Emerging Technologies for Developing Countries  1
收藏 引用
丛书名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
1000年
作者: Rafik Zitouni Max Agueh
来源: 评论
Supercomputing  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Vladimir Voevodin Sergey Sobolev
This book constitutes the refereed post-conference proceedings of the 7th Russian Supercomputing Days, RuSCDays 2021, held in Moscow, Russia, in September 2021.
来源: 评论
Constrained control and Estimation  1
收藏 引用
丛书名: Communications and control Engineering
1000年
作者: Graham C. Goodwin José A. Doná María M. Seron
来源: 评论
Constructive Side-Channel Analysis and Secure Design  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Sylvain Guilley
This book constitutes revised selected papers from the 8th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2017, held in Paris, France, in April 2017.
来源: 评论
Microelectronic Systems  1
收藏 引用
1000年
作者: Albert Heuberger Günter Elst Randolf Hanke
来源: 评论
A Combined Data and Power Management Infrastructure  2
收藏 引用
丛书名: Springer Aerospace Technology
1000年
作者: Jens Eickhoff
This modular infrastructure was selected by the Swiss start-up ClearSpace;for;first mission;to;space debris.
来源: 评论
Job Scheduling Strategies for Parallel Processing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dalibor Klusáček Julita Corbalán Gonzalo P. Rodrigo
来源: 评论
High Performance Computing  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Isidoro Gitler Carlos Jaime Barrios Hernández Esteban Meneses
This book constitutes revised selected papers of the 8th Latin American High Performance Computing Conference, CARLA 2021, held in Guadalajara, Mexico, in October 2021. Due to the COVID-19 pandemic the confe... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Margaria Bernhard Steffen
来源: 评论