語系: 繁體中文
說明(常見問題)
圖資館首頁
登入
語系
書封
跳至 : 概要 | 書目資訊 | 主題

Drechsler, Rolf.

概要
作品: 16 作品在 21 項出版品 1 種語言
書目資訊
Formal system verificationstate-of the-art and future trends / by: Drechsler, Rolf.; SpringerLink (Online service) (書目-電子資源)
Towards a design flow for reversible logic by: Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert. (書目-電子資源)
Advanced Boolean techniquesselected papers from the 15th International Workshop on Boolean Problems / by: (1998 :); Drechsler, Rolf.; Huhn, Sebastian.; SpringerLink (Online service) (書目-電子資源)
Automated analysis of virtual prototypes at the electronic system leveldesign understanding and applications / by: Drechsler, Rolf.; Goli, Mehran.; SpringerLink (Online service) (書目-電子資源)
Advanced logic synthesis by: Drechsler, Rolf.; Reis, Andre Inacio.; SpringerLink (Online service) (書目-電子資源)
Test pattern generation using boolean proof engines by: Drechsler, Rolf.; SpringerLink (Online service) (書目-電子資源)
Information storagea multidisciplinary perspective / by: Drechsler, Rolf.; Grosse, Cornelia S.; SpringerLink (Online service) (書目-電子資源)
Reversible and quantum circuitsoptimization and complexity analysis / by: Abdessaied, Nabila.; Drechsler, Rolf.; SpringerLink (Online service) (書目-電子資源)
Advanced formal verification by: Drechsler, Rolf.; SpringerLink (Online service) (書目-電子資源)
Natural language processing for electronic design automation by: Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service) (書目-電子資源)
更多
主題
Electronic and Computer Engineering Electronics and Microelectronics, Instrumentation Mathematical Logic and Formal Languages. Computer algorithms. Computer logic. Control, Robotics, Mechatronics. Software engineering Signal, Image and Speech Processing. Electronics Design and Verification. Systems on a chip. Systems engineering Decision trees. Software Engineering/Programming and Operating Systems. Natural language processing (Computer science) Software architecture Microfluidics. Electronic circuits. Engineering design Circuits and Systems Electronics and Microelectronics, Instrumentation. Computer software Algebra, Boolean. Debugging in computer science. Computer architecture. Logic programming. Computer systems Electronic systems. Cyber-physical systems, IoT. Algebra, Boolean Electronics. Microelectronics. Applied and Technical Physics. Mathematical Applications in Computer Science. Algebra Processor Architectures. Formal methods (Computer science) Ubiquitous computing System design Digital electronics. Logic Design. Nonvolatile random-access memory. Computer-Aided Engineering (CAD, CAE) and Design. Electronics Engineering Design Circuits and Systems. Electronic circuits Quantum computing. Approximation algorithms. C (Computer program language) Embedded computer systems. Embedded computer systems Aerospace Technology and Astronautics. Computer hardware description languages Logic design Computer-aided design. Microfluidic devices. Information storage and retrieval systems. Artificial Intelligence. Computer storage devices. Engineering Engineering. Register-Transfer-Level Implementation. Computer hardware description languages. Computer Science. Computer System Implementation. Computer Hardware. Simulation and Modeling. Prototypes, Engineering. Human information processing. Computer Appl. in Arts and Humanities. Electronic Circuits and Systems. Embedded Systems. Computer engineering Integrated circuits System design. Integrated circuits. Biochips. Memory. Computer-aided engineering. Software prototyping. Numerical calculations Multipliers (Mathematical analysis) Symbolic and Algebraic Manipulation.
 
 
變更密碼
登入