咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
Air Traffic control Automated Systems  1
收藏 引用
丛书名: Springer Aerospace Technology
1000年
作者: Bestugin A.R. Filin A.D. Shatrakov Y.G. Eshenko A.A. Shatrakov A.Y. Plyasovskikh A.P.
This book highlights operation principles for Air Traffic control Automated Systems (ATCAS), new scientific directions in design and application of dispatching training simulators and parameters of ATCAS radio equipme... 详细信息
来源: 评论
Trends in Functional Programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Wouter Swierstra Nicolas Wu
This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.;The 9 full papers presented in this volume wer... 详细信息
来源: 评论
Testing and Validation of Computer Simulation Models  1
收藏 引用
丛书名: Simulation Foundations, Methods and Applications
1000年
作者: David J. Murray-Smith
This must-read text/reference provides a practical guide to processes involved in the development and application of dynamic simulation models, covering a wide range of issues relating to testing, verification and val... 详细信息
来源: 评论
Computer Safety, Reliability, and Security  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ibrahim Habli Mark Sujan Friedemann Bitsch
This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021.
来源: 评论
Software Engineering and Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Javier Camara Martin Steffen
来源: 评论
Distributed Embedded control Systems  1
收藏 引用
丛书名: Advances in Industrial control
1000年
作者: Matjaž Colnarič Domen Verber Wolfgang A. Halang
来源: 评论
Automated Reasoning with Analytic Tableaux and Related Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Revantha Ramanayake Josef Urban
来源: 评论
Industrial Applications of Holonic and Multi-Agent Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Vladimír Mařík Petr Kadera George Rzevski Alois Zoitl Gabriele Anderst-Kotsis Ismail Khalil A Min Tjoa
来源: 评论
Networked Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Andreas Podelski François Taïani
来源: 评论
Supercomputing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Vladimir Voevodin Alexander Antonov Dmitry Nikitenko
来源: 评论