咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 344 篇 control structur...
  • 110 篇 software enginee...
  • 86 篇 computer system ...
  • 70 篇 special purpose ...
  • 68 篇 computer communi...
  • 63 篇 input/output and...
  • 63 篇 computer systems...
  • 50 篇 artificial intel...
  • 45 篇 processor archit...
  • 43 篇 theory of comput...
  • 41 篇 logic design
  • 37 篇 programming tech...
  • 33 篇 software enginee...
  • 28 篇 electronics and ...
  • 26 篇 programming lang...
  • 26 篇 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 篇 sarah neuwirth
  • 3 篇 arie gurfinkel
  • 3 篇 katzalin olcoz
  • 3 篇 mikhail zymbler
  • 3 篇 marijn heule
  • 3 篇 sridutt bhalacha...
  • 3 篇 ivona brandic
  • 3 篇 sameer shende

语言

  • 342 篇 英文
  • 2 篇 中文
检索条件"主题词=Control Structures and Microprogramming"
344 条 记 录,以下是51-60 订阅
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Margaria Bernhard Steffen
来源: 评论
Graphische Datenverarbeitung  2
收藏 引用
丛书名: Springers Angewandte Informatik
1000年
作者: Werner Purgathofer
来源: 评论
Formal Modeling and Analysis of Timed Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Nathalie Bertrand Nils Jansen
来源: 评论
Stabilization, Safety, and Security of Distributed Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Colette Johnen Elad Michael Schiller Stefan Schmid
来源: 评论
Parallel Computational Technologies  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Leonid Sokolinsky Mikhail Zymbler Vladimir Voevodin Jack Dongarra
来源: 评论
Funktionaler Entwurf digitaler Schaltungen  1
收藏 引用
丛书名: Springer-Lehrbuch
1000年
作者: Bernhard Eschermann
Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Au&... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Margaria Bernhard Steffen
来源: 评论
MPEG Video Compression Standard  1
收藏 引用
1000年
This book initiates a new digital multimedia standards series. The purpose of the series is to make information about digital multimedia standards readilyavailable. Both tutorial and advanced topics will be covered in... 详细信息
来源: 评论
Hardware Specification, Verification and Synthesis: Mathematical Aspects  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. ... 详细信息
来源: 评论
Intelligent Engineering Informatics  1
收藏 引用
丛书名: Advances in Intelligent Systems and Computing
1000年
作者: Vikrant Bhateja Carlos A. Coello Coello Suresh Chandra Satapathy Prasant Kumar Pattnaik
来源: 评论