咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 351 篇 control structur...
  • 110 篇 software enginee...
  • 86 篇 computer system ...
  • 68 篇 special purpose ...
  • 66 篇 computer communi...
  • 63 篇 computer systems...
  • 61 篇 input/output and...
  • 50 篇 artificial intel...
  • 44 篇 processor archit...
  • 43 篇 theory of comput...
  • 42 篇 logic design
  • 37 篇 programming tech...
  • 33 篇 software enginee...
  • 32 篇 electronics and ...
  • 27 篇 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 篇 arie gurfinkel
  • 3 篇 katzalin olcoz
  • 3 篇 mikhail zymbler
  • 3 篇 marijn heule
  • 3 篇 sridutt bhalacha...
  • 3 篇 ivona brandic
  • 3 篇 sameer shende
  • 3 篇 hossein hojjat

语言

  • 348 篇 英文
  • 3 篇 中文
检索条件"主题词=Control Structures and Microprogramming"
351 条 记 录,以下是301-310 订阅
排序:
Software Engineering and Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Carla Ferreira Tim A. C. Willemse
The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and... 详细信息
来源: 评论
Fine Pitch Surface Mount Technology  1
收藏 引用
1000年
作者: Phil P. Marcoux
Fine pitch high lead count integrated circuit packages represent a dramatic change from the conventional methods of assembling electronic components to a printed interconnect circuit board. To some, these FPTpackages ... 详细信息
来源: 评论
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
来源: 评论
Pro Mapping in BizTalk Server 2009  1
收藏 引用
1000年
来源: 评论
Graphische Datenverarbeitung  2
收藏 引用
丛书名: Springers Angewandte Informatik
1000年
作者: Werner Purgathofer
来源: 评论
Digital Design Techniques and Exercises  1
收藏 引用
1000年
作者: Vaibbhav Taraate
来源: 评论
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Margaria Bernhard Steffen
来源: 评论
Advanced HDL Synthesis and SOC Prototyping  1
收藏 引用
1000年
作者: Vaibbhav Taraate
This book describes RTL design using Verilog, synthesis and timing closure for System On Chip (SOC) design blocks. It covers the complex RTL design scenarios and challenges for SOC designs and provides practical infor... 详细信息
来源: 评论
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Stephen Poole Oscar Hernandez Matthew Baker Tony Curtis
来源: 评论
Parallel and Distributed Computing, Applications and Technologies  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Hiroyuki Takizawa Hong Shen Toshihiro Hanawa Jong Hyuk Park Hui Tian Ryusuke Egawa
This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2022, which took place in Sendai, Japan, during December 7-9, 2022.
来源: 评论