语系
Drechsler, Rolf.
概要
| 作品: | 1 作品在 5 项出版品 1 种语言 | |
|---|---|---|
书目信息
Reversible and quantum circuits[electronic resource] :optimization and complexity analysis /
by:
Abdessaied, Nabila.; Drechsler, Rolf.; SpringerLink (Online service)
(书目-电子资源)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
by:
Clark Conference ((2005 :); Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(书目-语言数据,印刷品)
Formal specification level[electronic resource] :concepts, methods, and algorithms /
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Formal modeling and verification of cyber-physical systems[electronic resource] :1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
Clark Conference ((2005 :); Drechsler, Rolf.; Kuhne, Ulrich.; SpringerLink (Online service)
(书目-语言数据,印刷品)
High quality test pattern generation and boolean satisfiability[electronic resource] /
by:
Drechsler, Rolf.; Eggersgluss, Stephan.; SpringerLink (Online service)
(书目-语言数据,印刷品)
主题
Control, Robotics, Mechatronics.
Software engineering
Natural language processing (Computer science)
Software architecture
Algebra, Boolean.
Electronics and Microelectronics, Instrumentation.
Computer software
Processor Architectures.
Formal methods (Computer science)
Ubiquitous computing
Circuits and Systems.
Quantum computing.
Embedded computer systems.
Embedded computer systems
Aerospace Technology and Astronautics.
Computer hardware description languages
Engineering.
Computer Science.
Computer System Implementation.
Computer Hardware.
Simulation and Modeling.
Integrated circuits
Integrated circuits.