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
Advanced Formal Verification
by Rolf Drechsler
ISBN 13: 9781441954206
Format: Paperback (280 pages) Publisher: Springer Published: 04 Oct 2013
Evolutionary Algorithms for Embedded System Design: 10 (Genetic Algorithms and Evolutionary Computation)
ISBN 13: 9781461353621
Format: Paperback (208 pages) Publisher: Springer Published: 30 Nov 2002
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: 9783319811062
Format: Paperback (204 pages) Publisher: Springer Published: 14 Jun 2018
Spectral Techniques in VLSI CAD
ISBN 13: 9781461355472
Format: Paperback (268 pages) Publisher: Springer Published: 31 Jul 2001
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik)
ISBN 13: 9783519021490
Format: Paperback (204 pages) Publisher: Vieweg+Teubner Verlag Published: 01 Jan 1998
Evolutionary Algorithms for VLSI CAD
ISBN 13: 9781441950406
Format: Paperback (196 pages) Publisher: Springer US Published: 19 Feb 2010
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
ISBN 13: 9783319892146
Format: Paperback (268 pages) Publisher: Springer Published: 06 Jun 2019