Search Results - Books - 101 - 200 - Springer - Drechsler, Rolf

Formal verification of circuits

eBook 9 Mar 2013
Publisher Springer
ISBN: 9781475731842
Dewey: 621.381548
Licence From
£129.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£11.99
Special order line: only available to educational & business accounts. Sign In
Licence From
£13.99
Special order line: only available to educational & business accounts. Sign In

Test Pattern Generation using Boolean Proof Engines

Hardback 30 Apr 2009
Publisher Springer
ISBN: 9789048123599
Dewey: 621.39501511324
£89.99
Special order line: only available to educational & business accounts. Sign In

Quality-Driven SystemC Design

Hardback 23 Dec 2009
Publisher Springer
ISBN: 9789048136308
Dewey: 004.21
£89.99
Special order line: only available to educational & business accounts. Sign In

Formal Verification of Circuits

Hardback 30 Jun 2000
Publisher Springer
ISBN: 9780792378587
Dewey: 621.3192
£129.99
Special order line: only available to educational & business accounts. Sign In

Evolutionary Algorithms for VLSI CAD

Hardback 31 May 1998
Publisher Springer
ISBN: 9780792381686
Dewey: 621.395
£89.99
Special order line: only available to educational & business accounts. Sign In

Binary Decision Diagrams : Theory and Implementation

Hardback 30 Jun 1998
Publisher Springer
ISBN: 9780792381938
Dewey: 621.395
£129.99
Special order line: only available to educational & business accounts. Sign In

Robustness and Usability in Modern Design Flows

Paperback / softback 19 Oct 2010
Publisher Springer
ISBN: 9789048176625
Dewey: 621.395
£89.99
Special order line: only available to educational & business accounts. Sign In

Test Pattern Generation using Boolean Proof Engines

Paperback / softback 19 Oct 2010
Publisher Springer
ISBN: 9789048184910
Dewey: 620
£89.99
Special order line: only available to educational & business accounts. Sign In

Debugging at the Electronic System Level

Hardback 5 Jul 2010
Publisher Springer
ISBN: 9789048192540
Dewey: 621.392
£89.99
Special order line: only available to educational & business accounts. Sign In

Quality-Driven SystemC Design

Paperback / softback 16 Oct 2014
Publisher Springer
ISBN: 9789400791923
Dewey: 004.21
£89.99
Special order line: only available to educational & business accounts. Sign In

Towards a Design Flow for Reversible Logic

Paperback / softback 18 Oct 2014
Publisher Springer
ISBN: 9789400794252
Dewey: 621.3815
£89.99
Special order line: only available to educational & business accounts. Sign In

Debugging at the Electronic System Level

Paperback / softback 28 Oct 2014
Publisher Springer
ISBN: 9789400795075
Dewey: 621.392
£89.99
Special order line: only available to educational & business accounts. Sign In

High quality test pattern generation and boolean satisfiability

eBook 18 Mar 2015
Publisher Springer
ISBN: 9781441999764
Dewey: 621.395
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£69.99
Special order line: only available to educational & business accounts. Sign In
Licence From
£44.99
Special order line: only available to educational & business accounts. Sign In
Licence From
£71.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£109.50
Special order line: only available to educational & business accounts. Sign In

Formal Specification Level: Concepts, Methods, and Algorithms

Ebook 12 Nov 2014
Publisher Springer
ISBN: 9783319086996
Dewey: 621.3815
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In

Formal Verification of Structurally Complex Multipliers

Ebook 14 Feb 2023
Publisher Springer
ISBN: 9783031245718
Dewey: 515.24330285
Licence From
£79.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£99.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£44.99
Special order line: only available to educational & business accounts. Sign In
£13.49
RRP £14.99
Special order line: only available to educational & business accounts. Sign In

Towards One-Pass Synthesis

Paperback / softback 16 Dec 2012
Publisher Springer
ISBN: 9789401099004
Dewey: 621.395
Out of Print

Test pattern generation using Boolean proof engines

eBook 29 Apr 2009
Publisher Springer
ISBN: 9789048123605
Dewey: 621.39501511324
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In

Quality-driven SystemC design

eBook 10 Dec 2009
Publisher Springer
ISBN: 9789048136315
Dewey: 004.21
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In

Debugging at the electronic system level

Ebook 1 Jun 2010
Publisher Springer
ISBN: 9789048192557
Dewey: 621.392
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In

Towards a Design Flow for Reversible Logic

Hardback 18 Aug 2010
Publisher Springer
ISBN: 9789048195787
Dewey: 621.395
£80.99
RRP £89.99
Special order line: only available to educational & business accounts. Sign In