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
Save for later
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
GPU Computing Gems Emerald Edition (Applications of GPU Computing Series)
ISBN 13: 9780123849885
Format: Hardcover (886 pages) Publisher: Morgan Kaufmann Published: 21 Mar 2011
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
C# 2.0: Practical Guide for Programmers (The Practical Guides)
by Michel de Champlain
ISBN 13: 9780121674519
Format: Illustrated (276 pages) Publisher: Morgan Kaufmann Published: 22 Feb 2005
Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
ISBN 13: 9783540222613
Format: Paperback (857 pages) Publisher: Springer Published: 14 Jun 2004
Concurrency in Dependable Computing
ISBN 13: 9781441952783
Format: Paperback (328 pages) Publisher: Springer Published: 12 Oct 2010