咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
ASIC Design and Synthesis  1
收藏 引用
1000年
作者: Vaibbhav Taraate
This book describes simple to complex ASIC design practical scenarios using Verilog. It builds a story from the basic fundamentals of ASIC designs to advanced RTL design concepts using Verilog. Looking at... 详细信息
来源: 评论
Classical and Modern controls with Microcontrollers  1
收藏 引用
丛书名: Advances in Industrial control
1000年
作者: Ying Bai Zvi S. Roth
Readers can quickly develop and build their applications by using sample project codes provided in the book to access specified peripherals. The book enables readers to transfer from one interfacing protocol to anothe... 详细信息
来源: 评论
Tools and Algorithms for the Construction and Analysis of Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jan Friso Groote Kim Guldstrand Larsen
来源: 评论
Programming Languages and Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ilya Sergey
来源: 评论
Computer Safety, Reliability, and Security  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Barbara Gallina Amund Skavhaug Friedemann Bitsch
来源: 评论
Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: André Platzer Kristin Yvonne Rozier Matteo Pradella Matteo Rossi
来源: 评论
Euro-Par 2019: Parallel Processing Workshops  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ulrich Schwardmann Christian Boehme Dora B. Heras Valeria Cardellini Emmanuel Jeannot Antonio Salis Claudio Schifanella Ravi Reddy Manumachu Dieter Schwamborn Laura Ricci Oh Sangyoon Thomas Gruber Laura Antonelli Stephen L. Scott
来源: 评论
Tools and Algorithms for the Construction and Analysis of Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Bernd Finkbeiner Laura Kovács
The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solv... 详细信息
来源: 评论
Building Embedded Systems  1
收藏 引用
1000年
作者: Changyi Gu
Embedded-system engineers and intermediate electronics enthusiasts who are seeking tighter integration between software and hardware. Those who favor the;(SOPC) approach will in particular benefit from this book. Stud... 详细信息
来源: 评论
Software Technologies  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Hans-Georg Fill Francisco José Domínguez Mayo Marten van Sinderen Leszek A. Maciaszek
来源: 评论