咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
Transactions on High-Performance Embedded Architectures and Compilers V  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Per Stenström Cristina Silvano Koen Bertels Michael Schulte
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence&... 详细信息
来源: 评论
LUCAS Associative Array Processor  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
来源: 评论
Real Time Microcomputer control of Industrial Processes  1
收藏 引用
丛书名: Intelligent Systems, control and Automation: Science and Engineering
1000年
作者: Spyros G. Tzafestas J. K. Pal
The introduction of the microprocessor in computer and system engineering has motivated the development of many new concepts and has simplified the design of many modern industrial systems. During the first decade of ... 详细信息
来源: 评论
Formal Techniques for Safety-Critical Systems  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Osman Hasan Frédéric Mallet
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.;The 6 revised full papers ... 详细信息
来源: 评论
Fundamental Approaches to Software Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dirk Beyer Ana Cavalcanti
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg i... 详细信息
来源: 评论
Engineering of Computer-Based Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Jan Kofroň Tiziana Margaria Cristina Seceleanu
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023.;The 11 full papers... 详细信息
来源: 评论
Mathematical Modeling and Supercomputer Technologies  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Dmitry Balandin Konstantin Barkalov Iosif Meyerov Victor Gergel
This book constitutes selected and revised papers from the 20th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2020, held in Nizhny Novgorod, Russia, in November 2020.... 详细信息
来源: 评论
SPICE  1
收藏 引用
丛书名: Informationstechnik und Datenverarbeitung
1000年
作者: Ernst E. E. Hoefer Horst Nielinger
来源: 评论
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... 详细信息
来源: 评论
Supercomputing Frontiers  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dhabaleswar K. Panda
This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled... 详细信息
来源: 评论