Buy Used and New RolfDrechsler Books

Formal Verification of Circuits

by Rolf Drechsler

ISBN 13: 9780792378587

Format: Hardcover (192 pages)
Publisher: Springer
Published: 30 Jun 2000

Save for later

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015: 385 (Lecture Notes in Electrical Engineering)

by Rolf Drechsler, Robert Wille

ISBN 13: 9783319317229

Format: Hardcover (204 pages)
Publisher: Springer
Published: 26 May 2016

Save for later

Formal Specification Level: Concepts, Methods, and Algorithms

by Mathias Soeken, Rolf Drechsler

ISBN 13: 9783319378824

Format: Paperback (148 pages)
Publisher: Springer
Published: 03 Aug 2016

Save for later

Applications of Evolutionary Computing: EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 ... 3449 (Lecture Notes in Computer Science)

by Franz Rothlauf, Rolf Drechsler, Jürgen Branke, Stefano Cagnoni, David W. Corne

ISBN 13: 9783540253969

Format: Paperback (652 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Advanced Logic Synthesis

by André Inácio Reis, Rolf Drechsler

ISBN 13: 9783319672946

Format: Hardcover (244 pages)
Publisher: Springer
Published: 12 Nov 2017

Save for later

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

Advanced Formal Verification

by Rolf Drechsler

ISBN 13: 9781402077210

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

Save for later

Information Storage: A Multidisciplinary Perspective

by Cornelia S. Große, Rolf Drechsler

ISBN 13: 9783030192617

Format: Hardcover
Publisher: Springer
Published: 11 Oct 2019

Save for later

In-Memory Computing: Synthesis and Optimization

by Saeideh Shirinzadeh, Rolf Drechsler

ISBN 13: 9783030180256

Format: Hardcover (118 pages)
Publisher: Springer
Published: 11 Jul 2019

Save for later

Advanced Formal Verification

by Rolf Drechsler

ISBN 13: 9781441954206

Format: Paperback (280 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Evolutionary Algorithms for VLSI CAD

by Rolf Drechsler

ISBN 13: 9780792381686

Format: Illustrated (200 pages)
Publisher: Springer
Published: 31 May 1998

Save for later

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

by Rolf Drechsler

ISBN 13: 9781461353621

Format: Paperback (208 pages)
Publisher: Springer
Published: 30 Nov 2002

Save for later