Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, ... / Programming and Software Engineering)
by
ISBN 13: 9783540705680
Format: Paperback (311 pages) Publisher: Springer Published: 01 Jul 2008
Save for later
Statistical Methods in Counterterrorism: Game Theory, Modeling, Syndromic Surveillance, and Biometric Authentication
ISBN 13: 9780387329048
Format: Paperback (304 pages) Publisher: Springer Published: 13 Jul 2006
Simulated Evolution and Learning: 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540473312
Format: Paperback (940 pages) Publisher: Springer Published: 06 Oct 2006
Upscaling Multiphase Flow in Porous Media: From Pore to Core and Beyond
ISBN 13: 9781402035135
Format: Hardcover (257 pages) Publisher: Springer Published: 10 Jun 2005
Arabic Computational Morphology: Knowledge-based and Empirical Methods (Text, Speech and Language Technology)
ISBN 13: 9781402060458
Format: Hardcover (316 pages) Publisher: Springer Published: 11 Sep 2007
Introduction to Formal Hardware Verification
by Thomas Kropf
ISBN 13: 9783540654452
Format: Hardcover (308 pages) Publisher: Springer Published: 16 Oct 1999
Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series)
by Michael Thielscher
ISBN 13: 9781402030680
Format: Hardcover (327 pages) Publisher: Springer Published: 05 Jul 2005
Coordination: Neural, Behavioral and Social Dynamics (Understanding Complex Systems)
ISBN 13: 9783540744764
Format: Hardcover (370 pages) Publisher: Springer Published: 03 Jan 2008
Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers (Lecture ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540785651
Format: Paperback (215 pages) Publisher: Springer Published: 03 Mar 2008
Software-Entwicklung Fur Echtzeitsysteme
ISBN 13: 9783642015953
Format: Paperback (262 pages) Publisher: Springer Published: Aug 2009
Out of their Minds: The Lives and Discoveries of 15 Great Computer Scientists
by Dennis Shasha,Cathy Lazere
ISBN 13: 9780387982694
Format: Paperback (302 pages) Publisher: Springer Published: 01 Jul 1998
AMST'05 Advanced Manufacturing Systems and Technology: Proceedings of the Seventh International Conference (CISM International Centre for Mechanical Sciences)
ISBN 13: 9783211265376
Format: Paperback (792 pages) Publisher: Springer Published: 01 Jul 2005