Constraint-Based Verification
by Jun Yuan,Carl Pixley,Adnan Aziz
ISBN 13: 9780387259475
Format: Hardcover (253 pages) Publisher: Springer Published: 24 Feb 2006
Save for later
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
by Malay Ganai,Aarti Gupta
ISBN 13: 9780387691664
Format: Hardcover (330 pages) Publisher: Springer Published: 15 Aug 2007
Semiconductor Modeling:: For Simulating Signal, Power, and Electromagnetic Integrity
by Roy Leventhal,Lynne Green
ISBN 13: 9780387241593
Format: Hardcover (788 pages) Publisher: Springer Published: 29 Nov 2006
The Design of a Practical Enterprise Safety Management System
by Hossam A. Gabbar,Kazuhiko Suzuki
ISBN 13: 9781402029486
Format: Hardcover (230 pages) Publisher: Springer Published: 14 Jan 2005
Field Models in Electricity and Magnetism
by Paolo Di Barba,Antonio Savini,Slawomir Wiak
ISBN 13: 9781402068423
Format: Hardcover (174 pages) Publisher: Springer Published: 27 Feb 2008
Creating Assertion-Based IP (Integrated Circuits and Systems)
by Harry D. Foster,Adam C. Krolnik
ISBN 13: 9780387366418
Format: Hardcover (312 pages) Publisher: Springer Published: 06 Dec 2007
Management of Knowledge Imperfection in Building Intelligent Systems (Studies in Fuzziness and Soft Computing)
by Eugene Roventa,Tiberiu Spircu
ISBN 13: 9783540774624
Format: Hardcover (254 pages) Publisher: Springer Published: 14 Oct 2008
Entwicklung Und Erprobung Innovativer Produkte - Rapid Prototyping: Grundlagen, Rahmenbedingungen Und Realisierung (VDI-Buch)
by
ISBN 13: 9783540698791
Format: Hardcover (509 pages) Publisher: Springer Published: 14 Feb 2007
Large-Scale Scientific Computing: 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540788256
Format: Paperback (755 pages) Publisher: Springer Published: 28 Mar 2008
Computer Supported Cooperative Work in Design II: 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers: v. ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540329695
Format: Paperback (671 pages) Publisher: Springer Published: 22 Mar 2006
Numerical Methods and Applications: 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540709404
Format: Paperback (728 pages) Publisher: Springer Published: 20 Feb 2007
The Customer Centric Enterprise: Advances in Mass Customization and Personalization
ISBN 13: 9783540024927
Format: Paperback (564 pages) Publisher: Springer Published: 12 Jun 2003