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
Save for later
Fuzzy Information and Engineering: Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE) (Advances in Intelligent and Soft Computing)
by
ISBN 13: 9783540714408
Format: Paperback (1032 pages) Publisher: Springer Published: 27 Apr 2007
Rule Extraction from Support Vector Machines (Studies in Computational Intelligence)
ISBN 13: 9783540753896
Format: Hardcover (262 pages) Publisher: Springer Published: 04 Jan 2008
Mathematics - Key Technology for the Future: Joint Projects between Universities and Industry 2004 -2007
ISBN 13: 9783540772026
Format: Hardcover (357 pages) Publisher: Springer Published: 24 Apr 2008
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
Advances in Discrete Tomography and Its Applications (Applied and Numerical Harmonic Analysis)
ISBN 13: 9780817636142
Format: Hardcover (412 pages) Publisher: Birkhauser Published: 26 Apr 2007
No More Muddling Through: Mastering Complex Projects in Engineering and Management
by Rainer Züst,P. Troxler
ISBN 13: 9781402050176
Format: Hardcover (197 pages) Publisher: Springer Published: 10 Aug 2006
Recent Advances in Evolutionary Computation for Combinatorial Optimization (Studies in Computational Intelligence)
ISBN 13: 9783540708063
Format: Hardcover (338 pages) Publisher: Springer Published: 26 Aug 2008
Collaborative Design and Planning for Digital Manufacturing
by Lihui Wang,Andrew Y. C. Nee
ISBN 13: 9781848822863
Format: Illustrated (436 pages) Publisher: Springer Published: 13 Feb 2009
Multibody Dynamics (Computational Methods in Applied Sciences): Computational Methods and Applications: 12
by Carlo L. Bottasso
ISBN 13: 9781402088285
Format: Illustrated (264 pages) Publisher: Springer Published: 20 Oct 2008
Science and Technology in Homeric Epics (History of Mechanism and Machine Science): 6
by S. A. Paipetis
ISBN 13: 9781402087837
Format: Hardcover (560 pages) Publisher: Springer Published: 22 Oct 2008
Engineering Psychology and Cognitive Ergonomics: 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, ... 5639 (Lecture Notes in Computer Science)
by Don Harris
ISBN 13: 9783642027277
Format: Illustrated (648 pages) Publisher: Springer Berlin Heidelberg Published: 02 Jun 2010