Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering)
by
ISBN 13: 9783540747918
Format: Paperback (297 pages) Publisher: Springer Published: 18 Dec 2007
Save for later
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642029486
Format: Paperback (169 pages) Publisher: Springer Published: 24 Jun 2009
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2005: 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540293279
Format: Paperback (981 pages) Publisher: Springer Published: 11 Oct 2005 Other Format: Paperback
Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540292388
Format: Paperback (907 pages) Publisher: Springer Published: 22 Sep 2005
Embedded Computer Systems: Architectures, Modeling, and Simulation: 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, ... Computer Science and General Issues)
ISBN 13: 9783540364108
Format: Paperback (492 pages) Publisher: Springer Published: 06 Jul 2006 Other Format: Paperback
The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500(TM) (Frontiers in Electronic Testing)
by Francisco da Silva,Teresa McLaurin,Tom Waayers
ISBN 13: 9780387307510
Format: Hardcover (305 pages) Publisher: Springer Published: 21 Aug 2006
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
ISBN 13: 9781402056895
Format: Hardcover (622 pages) Publisher: Springer Published: 08 Dec 2006
Media Theory: Interdisciplinary Applied Mathematics
by David Eppstein,Jean-Claude Falmagne,Sergei Ovchinnikov
ISBN 13: 9783540716969
Format: Hardcover (338 pages) Publisher: Springer Published: 11 Oct 2007
Advances in Rule Interchange and Applications: International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783540759744
Format: Paperback (243 pages) Publisher: Springer Published: 15 Oct 2007
Pattern Recognition in Bioinformatics: Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783540752851
Format: Paperback (410 pages) Publisher: Springer Published: 17 Sep 2007
Probabilistic Inductive Logic Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540786511
Format: Paperback (341 pages) Publisher: Springer Published: 14 Mar 2008
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783540797067
Format: Paperback (251 pages) Publisher: Springer Published: 19 May 2008