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
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
High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ... Computer Science and General Issues)
ISBN 13: 9783642118418
Format: Paperback (589 pages) Publisher: Springer Published: 19 Feb 2010
Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution (Premier Reference Source)
by Liliana Favre
ISBN 13: 9781615206490
Format: Hardcover (443 pages) Publisher: Engineering Science Reference Published: 15 Dec 2009
Modeling and Verification of Real-time Systems
ISBN 13: 9781848210134
Format: Hardcover (448 pages) Publisher: Wiley-Blackwell Published: 10 Mar 2008
Interfacing with C++: Programming Real-World Applications
by Jayantha Katupitiya,Kim Bentley
ISBN 13: 9783540253785
Format: Hardcover (489 pages) Publisher: Springer Published: 13 Mar 2006
Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)
ISBN 13: 9783642005893
Format: Paperback (411 pages) Publisher: Springer Published: 09 Mar 2009