Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)
by
ISBN 13: 9783642045691
Format: Paperback (213 pages) Publisher: Springer Published: 26 Oct 2009
Save for later
Advances in Intelligent Information Systems (Studies in Computational Intelligence)
ISBN 13: 9783642051821
Format: Hardcover (374 pages) Publisher: Springer Published: 04 Feb 2010
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642106712
Format: Paperback (359 pages) Publisher: Springer Published: 24 Nov 2009
Developments and Challenges for Autonomous Unmanned Vehicles: A Compendium (Intelligent Systems Reference Library)
by Anthony Finn,Steve Scheding
ISBN 13: 9783642107030
Format: Hardcover (230 pages) Publisher: Springer Published: 28 Feb 2010
Soft Computing in Industrial Applications: Algorithms, Integration, and Success Stories (Advances in Intelligent and Soft Computing)
ISBN 13: 9783642112812
Format: Paperback (300 pages) Publisher: Springer Published: 15 Jul 2010
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783642113185
Format: Paperback (397 pages) Publisher: Springer Published: 08 Jan 2010
WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642114397
Format: Paperback (305 pages) Publisher: Springer Published: 20 Jan 2010
Advances in Nonlinear Speech Processing: International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27, 2009, Revised ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642115080
Format: Paperback (200 pages) Publisher: Springer Published: 18 Feb 2010
Adaptive Learning Agents: Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642118135
Format: Paperback (154 pages) Publisher: Springer Published: 24 Mar 2010
The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 2, 2010, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642134852
Format: Paperback (460 pages) Publisher: Springer Published: 20 May 2010
Advances in Intelligent Tutoring Systems (Studies in Computational Intelligence)
ISBN 13: 9783642143625
Format: Hardcover (527 pages) Publisher: Springer Published: 27 Aug 2010
Cognitive Wireless Communication Networks
ISBN 13: 9780387688305
Format: Hardcover (440 pages) Publisher: Springer Published: 28 Nov 2007