Information Algebras: Generic Structures for Inference (Discrete Mathematics and Theoretical Computer Science)
by Juerg Kohlas
ISBN 13: 9781852336899
Format: Illustrated (280 pages) Publisher: Springer Published: 05 Dec 2002
Save for later
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)
by Walt Truszkowski,Harold Hallock,Christopher Rouff,Jay Karlin,James Rash,Michael Hinchey,Roy Sterritt
ISBN 13: 9781846282324
Format: Hardcover (308 pages) Publisher: Springer Published: 09 Dec 2009
Engineering for HCI (IFIP Advances in Information and Communication Technology)
by Claus Unger,Leonard J. Bass
ISBN 13: 9780412721809
Format: Hardcover (384 pages) Publisher: Springer Published: 31 Jan 1996
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
by Krzysztof R. Apt,Frank S. de Boer,Ernst-Rüdiger Olderog
ISBN 13: 9781848827448
Format: Hardcover (502 pages) Publisher: Springer Published: 02 Oct 2009
Principles of Concurrent and Distributed Programming: Algorithms and Models (Prentice-Hall International Series in Computer Science)
by M. Ben-Ari
ISBN 13: 9780321312839
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 29 Nov 2005
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings: 5663 (Lecture ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642029585
Format: Paperback (504 pages) Publisher: Springer Published: 10 Jul 2009
Unified Computational Intelligence for Complex Systems: Studies in Economic, Financial, and Social Dynamics (Adaptation, Learning, and Optimization)
by John Seiffertt,Donald C. Wunsch
ISBN 13: 9783642031793
Format: Hardcover (150 pages) Publisher: Springer Published: 01 Jul 2010
Parallel Computing Technologies: 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings: 5698 ... Computer Science and General Issues)
ISBN 13: 9783642032745
Format: Paperback (476 pages) Publisher: Springer Published: 04 Aug 2009
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science / Security and Cryptology)
ISBN 13: 9783642034589
Format: Paperback (223 pages) Publisher: Springer Published: 03 Sep 2009
Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008 (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783642035517
Format: Paperback (396 pages) Publisher: Springer Published: 21 Sep 2009
Algebraic Informatics: 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642035630
Format: Paperback (361 pages) Publisher: Springer Published: 28 Aug 2009
Energy Minimization Methods in Computer Vision and Pattern Recognition: 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009, ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783642036408
Format: Paperback (494 pages) Publisher: Springer Published: 11 Aug 2009