Test Pattern Generation using Boolean Proof Engines
by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
ISBN 13: 9789048123599
Format: Hardcover (192 pages) Publisher: Springer Published: 30 Apr 2009
Save for later
Quality-Driven SystemC Design
by N/A
ISBN 13: 9789048136308
Format: Hardcover (170 pages) Publisher: Springer Published: 23 Dec 2009
Applications of Evolutionary Computing: EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, ... Computer Science and General Issues)
by
ISBN 13: 9783540718048
Format: Paperback (755 pages) Publisher: Springer Published: 02 Apr 2007
Towards a Design Flow for Reversible Logic
by Robert Wille,Rolf Drechsler
ISBN 13: 9789048195787
Format: Hardcover (184 pages) Publisher: Springer Published: 18 Aug 2010
Advanced BDD Optimization
by Rudiger Ebendt,Görschwin Fey,Rolf Drechsler
ISBN 13: 9780387254531
Format: Hardcover (222 pages) Publisher: Springer Published: 09 Jun 2005
Applications of Evolutionary Computing: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540787600
Format: Paperback (701 pages) Publisher: Springer Published: 14 Mar 2008
Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, ... Computer Science and General Issues)
ISBN 13: 9783540332374
Format: Paperback (837 pages) Publisher: Springer Published: 31 Mar 2006
Robustness and Usability in Modern Design Flows
by Görschwin Fey,Rolf Drechsler
ISBN 13: 9781402065354
Format: Hardcover (182 pages) Publisher: Springer Published: 08 Jan 2008
ISBN 13: 9781441937964
Format: Paperback (232 pages) Publisher: Springer Published: 12 Oct 2010 Other Format: Hardcover
Debugging at the Electronic System Level
by Frank Rogin,Rolf Drechsler
ISBN 13: 9789048192540
Format: Hardcover (218 pages) Publisher: Springer Published: 05 Jul 2010
High Quality Test Pattern Generation and Boolean Satisfiability
by Stephan Eggersglüß, Rolf Drechsler
ISBN 13: 9781441999757
Format: Hardcover (193 pages) Publisher: Springer Published: 10 Mar 2011