Stochastic Hybrid Systems: Theory and Safety Critical Applications (Lecture Notes in Control and Information Sciences)
by
ISBN 13: 9783540334668
Format: Paperback (395 pages) Publisher: Springer Published: 19 Jun 2006
Save for later
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering)
ISBN 13: 9783540709510
Format: Paperback (363 pages) Publisher: Springer Published: 20 Feb 2007
Algorithms - ESA 2007: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings: 4698 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540755197
Format: Paperback (769 pages) Publisher: Springer Published: 20 Sep 2007
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, ... Computer Science and General Issues)
ISBN 13: 9783540744498
Format: Paperback (530 pages) Publisher: Springer Published: 28 Sep 2007
Machine Learning for Multimodal Interaction: 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540858522
Format: Paperback (364 pages) Publisher: Springer Published: 28 Aug 2008
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540851134
Format: Paperback (343 pages) Publisher: Springer Published: 25 Jul 2008
Advances in Information Retrieval: 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010. Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642122743
Format: Paperback (677 pages) Publisher: Springer Published: 18 Mar 2010
Specification and Verification of Multi-agent Systems
ISBN 13: 9781441969835
Format: Hardcover (405 pages) Publisher: Springer Published: 09 Aug 2010
Computational Intelligence and Informatics: Principles and Practice (Studies in Computational Intelligence)
ISBN 13: 9783642152191
Format: Hardcover (368 pages) Publisher: Springer Published: 01 Oct 2010
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
Database and XML Technologies: 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings: 5th ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540752875
Format: Paperback (141 pages) Publisher: Springer Published: 18 Sep 2007
Artificial Intelligence in Medicine: 11th Conference on Artificial Intelligence in Medicine in Europe, AIME 2007, Amsterdam, The Netherlands, July ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540735984
Format: Paperback (509 pages) Publisher: Springer Published: 29 Jun 2007