言語
Drechsler, Rolf.
概観
| 著作: | 1 作品に 5 出版物中に 1 言語 | |
|---|---|---|
タイトル
Reversible and quantum circuits[electronic resource] :optimization and complexity analysis /
…で:
Abdessaied, Nabila.; Drechsler, Rolf.; SpringerLink (Online service)
(コンピュータ・メディア)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
…で:
Clark Conference ((2005 :); Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(言語・文字資料 (印刷物))
Formal specification level[electronic resource] :concepts, methods, and algorithms /
…で:
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 /
…で:
Clark Conference ((2005 :); Drechsler, Rolf.; Kuhne, Ulrich.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
High quality test pattern generation and boolean satisfiability[electronic resource] /
…で:
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.