咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
Neural Preprocessing and control of Reactive Walking Machines  1
收藏 引用
丛书名: Cognitive Technologies
1000年
作者: Poramate Manoonpong
Biologically inspired walking machines are fascinating objects to study, from thepointofviewoftheirmechatronicaldesignaswellastherealisationofc- trol concepts. Research on this subject takes its place in a rapidly gro... 详细信息
来源: 评论
Constructive Side-Channel Analysis and Secure Design  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Romain Wacquez Naofumi Homma
来源: 评论
Fuzzy-Regelung  1
收藏 引用
丛书名: Springer-Lehrbuch
1000年
作者: Kai Michels Rudolf Kruse Frank Klawonn Andreas Nürnberger
Nachdem die ersten Fuzzy-Regler Anfang der siebziger Jahre entwickelt und in der Praxis erprobt wurden, hat das Gebiet der Fuzzy-Regelung in den vergangenen Jahrzehnten einen gewaltigen Fortschritt erfahren. Die zugru... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Margaria Bernhard Steffen
来源: 评论
Intelligent Systems: Safety, Reliability and Maintainability Issues  1
收藏 引用
丛书名: NATO ASI Subseries F:
1000年
作者: Okyay Kaynak Ger Honderd Edward Grant
This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "Intelligent Systems: Safety, Reliability and Maintainability Issues" that was held in Ku... 详细信息
来源: 评论
Verification, Model Checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Rayna Dimitrova Ori Lahav Sebastian Wolff
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, C... 详细信息
来源: 评论
Supercomputing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Vladimir Voevodin Alexander Antonov Dmitry Nikitenko
来源: 评论
Active Object Languages: Current Research Trends  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Frank de Boer Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Eduard Kamburjan
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal v... 详细信息
来源: 评论
The Complexity of Simple Computer Architectures  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the f... 详细信息
来源: 评论
Parallel Computational Technologies  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Leonid Sokolinsky Mikhail Zymbler Vladimir Voevodin Jack Dongarra
来源: 评论