Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)
by
ISBN 13: 9783540697350
Format: Paperback (395 pages) Publisher: Springer Published: 03 Jan 2007
Save for later
Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642031373
Format: Paperback (342 pages) Publisher: Springer Published: 13 Jul 2009 Other Format: Paperback
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010
Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)
by Jim Smith,Ravi Nair
ISBN 13: 9781558609105
Format: Hardcover (656 pages) Publisher: Morgan Kaufmann Published: 12 Jul 2005
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
Autonomic Computing: Concepts, Infrastructure, and Applications
ISBN 13: 9780849393679
Format: Hardcover (568 pages) Publisher: CRC Press Published: 15 Dec 2006
System Modeling and Control with Resource-oriented Petri Nets (Automation and Control Engineering)
by MengChu Zhou,Naiqi Wu
ISBN 13: 9781439808849
Format: Hardcover (312 pages) Publisher: CRC Press Published: 02 Nov 2009
The Compiler Design Handbook: Optimizations and Machine Code Generation
ISBN 13: 9781420043822
Format: Hardcover (784 pages) Publisher: CRC Press Published: 07 Dec 2007
Prac GT Data Stru & Alg Usi (Chapman & Hall/CRC Applied Algorithms and Data Structures Series)
by Sally A. Goldman,Kenneth J. Goldman
ISBN 13: 9781584884552
Format: Hardcover (1056 pages) Publisher: Chapman and Hall/CRC Published: 23 Aug 2007
Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)
ISBN 13: 9783540201946
Format: Paperback (223 pages) Publisher: Springer Published: 29 Sep 2003