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
Multi-Objective Machine Learning (Studies in Computational Intelligence)
by
ISBN 13: 9783540306764
Format: Hardcover (660 pages) Publisher: Springer Published: 10 Feb 2006
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
Fuzzy Information and Engineering: Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE) (Advances in Intelligent and Soft Computing)
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
Intelligent Multimedia Data Hiding: New Directions (Studies in Computational Intelligence)
ISBN 13: 9783540711681
Format: Hardcover (400 pages) Publisher: Springer Published: 11 May 2007
Composite Systems Decisions (Decision Engineering)
by Mark Sh. Levin
ISBN 13: 9781846280016
Format: Hardcover (270 pages) Publisher: Springer Published: 02 Dec 2005