語系
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.