The Calculus of Computation: Decision Procedures with Applications to Verification
by Aaron R. Bradley,Zohar Manna
ISBN 13: 9783540741121
Format: Hardcover (366 pages) Publisher: Springer Published: 03 Sep 2007
Save for later
Service Robotics and Mechatronics: Selected Papers of the International Conference on Machine Automation ICMA2008
by
ISBN 13: 9781848826939
Format: Hardcover (394 pages) Publisher: Springer Published: 04 Nov 2009
Recent Advances in Harmony Search Algorithm (Studies in Computational Intelligence)
by Zong Woo Geem
ISBN 13: 9783642043161
Format: Hardcover (176 pages) Publisher: Springer Published: 27 Apr 2010
ARIS Design Platform: Getting Started with BPM
by Rob Davis,Eric Brabander
ISBN 13: 9781846286124
Format: Paperback (364 pages) Publisher: Springer Published: 04 Jul 2007
Semantic Domains in Computational Linguistics
by Alfio Gliozzo,Carlo Strapparava
ISBN 13: 9783540681564
Format: Hardcover (131 pages) Publisher: Springer Published: 13 Aug 2009
Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642006159
Format: Paperback (351 pages) Publisher: Springer Published: 02 Apr 2009
Architecture-Based Design of Multi-Agent Systems
by Danny Weyns
ISBN 13: 9783642010637
Format: Hardcover (224 pages) Publisher: Springer Published: 09 Jun 2010
Visual Informatics: Bridging Research and Practice: First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783642050350
Format: Paperback (919 pages) Publisher: Springer Published: 02 Nov 2009
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations: International Conferences, ICHCC 2009-ICTMF 2009, Sanya, ... in Computer and Information Science)
ISBN 13: 9783642116179
Format: Paperback (111 pages) Publisher: Springer Published: 31 Mar 2010
Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642116582
Format: Paperback (283 pages) Publisher: Springer Published: 08 Feb 2010
European and Chinese Cognitive Styles and their Impact on Teaching Mathematics (Studies in Computational Intelligence)
ISBN 13: 9783642116797
Format: Hardcover (300 pages) Publisher: Springer Published: 22 Apr 2010
Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783642117466
Format: Paperback (240 pages) Publisher: Springer Published: 27 Jan 2010