BooksDirect

Books by Rolf Drechsler

Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen by Rolf Drechsler Noch analog oder lebst Du...
Rolf Drechsler
Paperback , Feb '21
RRP: $47.73 $42.95
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems by Rolf Drechsler Advanced Boolean Techniques:...
Rolf Drechsler
Paperback , Jun '24
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems by Rolf Drechsler Recent Findings in Boolean...
Rolf Drechsler
Paperback , May '22
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems by Rolf Drechsler Advanced Boolean Techniques:...
Rolf Drechsler
Paperback , Jul '20
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems by Rolf Drechsler Recent Findings in Boolean...
Rolf Drechsler
Hardback , Jun '21
Formal System Verification: State-of the-Art and Future Trends by Rolf Drechsler Formal System Verification:...
Rolf Drechsler
Paperback , Aug '18
Languages, Design Methods, and Tools for Electronic System Design by Rolf Drechsler Languages, Design Methods,...
Rolf Drechsler
Hardback , May '16
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015 by Rolf Drechsler Languages, Design Methods,...
Rolf Drechsler
Paperback , May '18
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never by Pascal Pieper Formal and Practical Techniques...
Pascal Pieper
Paperback , Mar '25
Reversible and Quantum Circuits: Optimization and Complexity Analysis by Nabila Abdessaied Reversible and Quantum Circuits:...
Nabila Abdessaied
Paperback , May '18
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen by Mehran Goli Automatisierte Analyse von...
Mehran Goli
Hardback , Sep '23
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test by Arun Chandrasekharan Design Automation Techniques...
Arun Chandrasekharan
Hardback , Dec '18
Towards a Design Flow for Reversible Logic by Robert Wille Towards a Design Flow for Reversible Logic
Robert Wille
Hardback , Aug '10
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques by Sebastian Huhn Design for Testability, Debug...
Sebastian Huhn
Hardback , Apr '21
Advanced Logic Synthesis by André Inácio Reis Advanced Logic Synthesis
André Inácio Reis
Paperback , Sep '18
In-Memory Computing: Synthesis and Optimization by Saeideh Shirinzadeh In-Memory Computing: Synthesis and Optimization
Saeideh Shirinzadeh
Paperback , Jul '20
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques by Sebastian Huhn Design for Testability, Debug...
Sebastian Huhn
Paperback , May '22
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications by Mehran Goli Automated Analysis of Virtual...
Mehran Goli
Hardback , Aug '20
Information Storage: A Multidisciplinary Perspective by Cornelia S. Große Information Storage: A Multidisciplinary...
Cornelia S. Große
Paperback , Dec '20
Natural Language Processing for Electronic Design Automation by Mathias Soeken Natural Language Processing...
Mathias Soeken
Hardback , Nov '20
Formal Verification of Structurally Complex Multipliers by Alireza Mahzoon Formal Verification of Structurally...
Alireza Mahzoon
Hardback , May '23
Exact Design of Digital Microfluidic Biochips by Oliver Keszocze Exact Design of Digital Microfluidic Biochips
Oliver Keszocze
Paperback , Jan '19
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies by Vladimir Herdt Enhanced Virtual Prototyping:...
Vladimir Herdt
Hardback , Dec '20
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies by Vladimir Herdt Enhanced Virtual Prototyping:...
Vladimir Herdt
Paperback , Oct '21
Formal Verification of Structurally Complex Multipliers by Alireza Mahzoon Formal Verification of Structurally...
Alireza Mahzoon
Paperback , Feb '24
In-Memory-Computing: Synthese und Optimierung by Saeideh Shirinzadeh In-Memory-Computing: Synthese und Optimierung
Saeideh Shirinzadeh
Hardback , Apr '23
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications by Mehran Goli Automated Analysis of Virtual...
Mehran Goli
Paperback , May '21
Enhanced Virtual Prototyping for Heterogeneous Systems by Muhammad Hassan Enhanced Virtual Prototyping...
Muhammad Hassan
Hardback , Sep '22
Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien by Vladimir Herdt Verbessertes virtuelles Prototyping:...
Vladimir Herdt
Hardback , Feb '23
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test by Arun Chandrasekharan Design Automation Techniques...
Arun Chandrasekharan
Paperback , Jan '19
Results 1 - 30 of 30