Buy Used and New Rolf Drechsler Books

Results for Rolf Drechsler

Showing 1 to 12 of 12 results
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda, Robert Wille, Judith Przigoda

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

by Nils Przigoda, Robert Wille, Judith Przigoda


ISBN 13: 9783319728131

Format: Hardcover (268 pages)
Publisher: Springer
Published: 31 Jan 2018

Save for later

 
New : $207.23  
New : $207.23
Advanced Formal Verification Advanced Formal Verification by Rolf Drechsler

Advanced Formal Verification

by Rolf Drechsler


ISBN 13: 9781402077210

Format: Illustrated (280 pages)
Publisher: Springer
Published: 31 Jan 2004

Save for later

 
New : $167.78  
New : $167.78
Formal Verification of Circuits Formal Verification of Circuits by Rolf Drechsler

Formal Verification of Circuits

by Rolf Drechsler


ISBN 13: 9781441949851

Format: Paperback (192 pages)
Publisher: Springer US
Published: 19 Feb 2010

Save for later

 
New : $153.91  
New : $153.91
Formal System Verification: State-of the-Art and Future Trends Formal System Verification: State-of the-Art and Future Trends by Rolf Drechsler

Formal System Verification: State-of the-Art and Future Trends

by Rolf Drechsler


ISBN 13: 9783319862231

Format: Paperback (200 pages)
Publisher: Springer
Published: 10 Aug 2018

Save for later

 
New : $128.18  
New : $128.18
Evolutionary Algorithms for Embedded System Design: 10 (Genetic Algorithms and Evolutionary Computation) Evolutionary Algorithms for Embedded System Design: 10 (Genetic Algorithms and Evolutionary Computation) by Rolf Drechsler, Nicole Drechsler

Evolutionary Algorithms for Embedded System Design: 10 (Genetic Algorithms and Evolutionary Computation)

by Rolf Drechsler, Nicole Drechsler


ISBN 13: 9781402072765

Format: Hardcover (212 pages)
Publisher: Springer
Published: 30 Nov 2002

Save for later

 
New : $176.80  
New : $176.80
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems by Rolf Drechsler, Mathias Soeken

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

by Rolf Drechsler, Mathias Soeken


ISBN 13: 9783030203252

Format: Paperback (273 pages)
Publisher: Springer
Published: 14 Aug 2020

Save for later

 
New : $105.81  
New : $105.81
In-Memory-Computing: Synthese und Optimierung In-Memory-Computing: Synthese und Optimierung by Saeideh Shirinzadeh, Rolf Drechsler

In-Memory-Computing: Synthese und Optimierung

by Saeideh Shirinzadeh, Rolf Drechsler


ISBN 13: 9783031228780

Format: Hardcover (132 pages)
Publisher: Springer Vieweg
Published: 08 Jun 2023

Save for later

 
New : $101.12  
New : $101.12
Design Automation for Field-coupled Nanotechnologies Design Automation for Field-coupled Nanotechnologies by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler

Design Automation for Field-coupled Nanotechnologies

by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler


ISBN 13: 9783030899516

Format: Hardcover (209 pages)
Publisher: Springer
Published: 11 Jan 2022

Save for later

 
New : $127.10  
New : $127.10
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies Enhanced Virtual Prototyping: Featuring RISC-V Case Studies by Vladimir Herdt, Daniel Große, Rolf Drechsler

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

by Vladimir Herdt, Daniel Große, Rolf Drechsler


ISBN 13: 9783030548278

Format: Hardcover (268 pages)
Publisher: Springer
Published: 15 Oct 2020

Save for later

 
New : $147.44  
New : $147.44
Erweiterte virtuelle Prototypen für heterogene Systeme Erweiterte virtuelle Prototypen für heterogene Systeme by Hassan, Muhammad Muhammad Hassan, Daniel Große, Rolf Drechsler,

Erweiterte virtuelle Prototypen für heterogene Systeme

by Hassan, Muhammad Muhammad Hassan, Daniel Große, Rolf Drechsler,


ISBN 13: 9783031531514

Format: hardcover
Publisher: Springer Vieweg

Save for later

 
New : $72.43  
New : $72.43