Languages
Subject
Format
Availabity
Clear Authors

Search result

Rolf Drechsler, Judith Przigoda, Judith et a Przigoda, Nil Przigoda, Nils Przigoda, Rober Wille... - Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Rolf Drechsler, Judith Przigoda, Judith et a Przigoda, Nil Przigoda, Nils Przigoda, Rober Wille... Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers English 01.01.2018 Hardback Fr. 189.00 6-7 weeks
Rolf Drechsler, Mathia Soeken, Mathias Soeken - Formal Specification Level
Rolf Drechsler, Mathia Soeken, Mathias Soeken Formal Specification Level English 04.06.2014 Hardback Fr. 135.00 6-7 weeks
Rolf Drechsler, Rober Wille, Robert Wille - Towards a Design Flow for Reversible Logic
Rolf Drechsler, Rober Wille, Robert Wille Towards a Design Flow for Reversible Logic English 01.01.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Rolf Drechsler, Fran Rogin, Frank Rogin - Debugging at the Electronic System Level
Rolf Drechsler, Fran Rogin, Frank Rogin Debugging at the Electronic System Level English 01.01.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Rol Drechsler, Rolf Drechsler, Kühne, Kühne, Ulrich Kühne - Formal Modeling and Verification of Cyber-Physical Systems
Rol Drechsler, Rolf Drechsler, Kühne, Kühne, Ulrich Kühne Formal Modeling and Verification of Cyber-Physical Systems English 31.10.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Rolf Drechsler, Olive Keszocze, Oliver Keszocze, Rober Wille, Robert Wille - Exact Design of Digital Microfluidic Biochips
Rolf Drechsler, Olive Keszocze, Oliver Keszocze, Rober Wille, Robert Wille Exact Design of Digital Microfluidic Biochips English 01.01.2018 Hardback Fr. 135.00 6-7 weeks
Rol Drechsler, Rolf Drechsler, Wille, Wille, Robert Wille - Languages, Design Methods, and Tools for Electronic System Design
Rol Drechsler, Rolf Drechsler, Wille, Wille, Robert Wille Languages, Design Methods, and Tools for Electronic System Design English 01.01.2016 Hardback Fr. 70.00 6-7 weeks
Nabil Abdessaied, Nabila Abdessaied, Rolf Drechsler - Reversible and Quantum Circuits
Nabil Abdessaied, Nabila Abdessaied, Rolf Drechsler Reversible and Quantum Circuits English 01.01.2016 Hardback Fr. 70.00 6-7 weeks
Nabil Abdessaied, Nabila Abdessaied, Rolf Drechsler - Reversible and Quantum Circuits
Nabil Abdessaied, Nabila Abdessaied, Rolf Drechsler Reversible and Quantum Circuits English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Rol Drechsler, Rolf Drechsler, Wille, Wille, Robert Wille - Languages, Design Methods, and Tools for Electronic System Design
Rol Drechsler, Rolf Drechsler, Wille, Wille, Robert Wille Languages, Design Methods, and Tools for Electronic System Design English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Aru Chandrasekharan, Arun Chandrasekharan, Ro Drechsler, Rolf Drechsler, Danie Grosse, Daniel Große - Design Automation Techniques for Approximation Circuits
Aru Chandrasekharan, Arun Chandrasekharan, Ro Drechsler, Rolf Drechsler, Danie Grosse, Daniel Große Design Automation Techniques for Approximation Circuits English 01.01.2018 Hardback Fr. 70.00 6-7 weeks
Rol Drechsler, Rolf Drechsler, Soeken, Soeken, Mathias Soeken - Advanced Boolean Techniques
Rol Drechsler, Rolf Drechsler, Soeken, Soeken, Mathias Soeken Advanced Boolean Techniques English 01.01.2019 Hardback Fr. 135.00 6-7 weeks
Rol Drechsler, Rolf Drechsler - Formal System Verification
Rol Drechsler, Rolf Drechsler Formal System Verification English 01.01.2018 Paperback / Softback Fr. 159.00 6-7 weeks
Drechsler, Drechsler, Rolf Drechsler, Andr Inácio Reis, André Inácio Reis, André Inácio Reis - Advanced Logic Synthesis
Drechsler, Drechsler, Rolf Drechsler, Andr Inácio Reis, André Inácio Reis, André Inácio Reis Advanced Logic Synthesis English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Rolf Drechsler, Judith Przigoda, Judith et a Przigoda, Nil Przigoda, Nils Przigoda, Rober Wille... - Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Rolf Drechsler, Judith Przigoda, Judith et a Przigoda, Nil Przigoda, Nils Przigoda, Rober Wille... Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers English 01.01.2019 Paperback / Softback Fr. 189.00 6-7 weeks
Rolf Drechsler, Saeide Shirinzadeh, Saeideh Shirinzadeh - In-Memory Computing
Rolf Drechsler, Saeide Shirinzadeh, Saeideh Shirinzadeh In-Memory Computing English 01.01.2019 Hardback Fr. 135.00 6-7 weeks
Drechsler, Drechsler, Nicole Drechsler, Rol Drechsler, Rolf Drechsler - Evolutionary Algorithms for Embedded System Design
Drechsler, Drechsler, Nicole Drechsler, Rol Drechsler, Rolf Drechsler Evolutionary Algorithms for Embedded System Design English 29.06.2009 Hardback Fr. 135.00 6-7 weeks
Rolf Drechsler, Goerschwin Fey, Görschwi Fey, Gorschwin Fey, Görschwin Fey - Robustness and Usability in Modern Design Flows
Rolf Drechsler, Goerschwin Fey, Görschwi Fey, Gorschwin Fey, Görschwin Fey Robustness and Usability in Modern Design Flows English 25.06.2009 Hardback Fr. 135.00 6-7 weeks
Rolf Drechsler, Stephan Eggersgluss, Stepha Eggersglüss, Stephan Eggersglüß - High Quality Test Pattern Generation and Boolean Satisfiability
Rolf Drechsler, Stephan Eggersgluss, Stepha Eggersglüss, Stephan Eggersglüß High Quality Test Pattern Generation and Boolean Satisfiability English 01.01.2014 Paperback / Softback Fr. 139.00 6-7 weeks
Rol Drechsler, Rolf Drechsler, Stepha Eggersglüss, Stephan Eggersglüß, Görschwi Fey, Görschwin Fey... - Test Pattern Generation using Boolean Proof Engines
Rol Drechsler, Rolf Drechsler, Stepha Eggersglüss, Stephan Eggersglüß, Görschwi Fey, Görschwin Fey... Test Pattern Generation using Boolean Proof Engines English 11.05.2011 Paperback / Softback Fr. 135.00 6-7 weeks