Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
by Javier Esparza,Keijo Heljanko
ISBN 13: 9783540774259
Format: Hardcover (184 pages) Publisher: Springer Published: 27 Mar 2008
Save for later
Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)
by Artur S. D'Avila Garcez,Luís C. Lamb,Dov M. Gabbay
ISBN 13: 9783540732457
Format: Hardcover (212 pages) Publisher: Springer Published: 22 Oct 2008
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
by Fred Kröger,Stephan Merz
ISBN 13: 9783540674016
Format: Hardcover (448 pages) Publisher: Springer Published: 27 Mar 2008
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783540852377
Format: Paperback (626 pages) Publisher: Springer Published: 12 Aug 2008
High Assurance Services Computing
ISBN 13: 9780387876573
Format: Hardcover (326 pages) Publisher: Springer Published: 12 Jun 2009
Architectural Optimizations in Multi-Core Processors: Improving Thread-Based Synchronization and Communications
by Sevin Fide
ISBN 13: 9783639101577
Format: Paperback (144 pages) Publisher: VDM Verlag Dr. Muller Aktiengesellschaft & Co. KG Published: 18 Nov 2008
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
Achieving Extreme Performance with Oracle Exadata (Osborne Oracle Press Series)
by Rick Greenwald,Robert Stackowiak,Maqsood Alam,Mans Bhuller
ISBN 13: 9780071752596
Format: Paperback (432 pages) Publisher: McGraw-Hill Osborne Published: 01 Mar 2011
API Design for C++
by Martin Reddy
ISBN 13: 9780123850034
Format: Paperback (472 pages) Publisher: Morgan Kaufmann Published: 14 Mar 2011
AI for Games and Animation: A Cognitive Modeling Approach
by John David Funge
ISBN 13: 9781568811031
Format: Hardcover (236 pages) Publisher: A K Peters/CRC Press Published: 22 Jul 1999
Fundamental Concepts in Electrical and Computer Engineering with Practical Design Problems (Second Edition)
by Reza Adhami,III Peter M. Meenen,Denis Hite
ISBN 13: 9781581129717
Format: Paperback (736 pages) Publisher: Dissertation.com Published: 20 Aug 2007
Applications of Geometric Algebra in Computer Science and Engineering
ISBN 13: 9780817642679
Format: Hardcover (478 pages) Publisher: Birkhauser Published: 01 Mar 2002