Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by T. F. Melham
ISBN 13: 9780521417181
Format: Hardcover (179 pages) Publisher: Cambridge University Press Published: 11 Nov 1993
Save for later
Cognitive Radio Networks
by Yang Xiao, Fei Hu
ISBN 13: 9781420064209
Format: Hardcover (478 pages) Publisher: Auerbach Publications Published: 07 Jan 2009
Grid Computing
by Lizhe Wang, Jinjun Chen, Wei Jie
ISBN 13: 9781420067668
Format: Hardcover (528 pages) Publisher: CRC Press Published: 15 Apr 2009
Correct Systems: Building a Business Process Solution (Applied Computing)
by Mike Holcombe, Florentin Ipate
ISBN 13: 9783540762461
Format: Paperback (206 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Sep 1998
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence, . ... 5883 (Lecture Notes in Computer Science)
by Roberto Serra, Rita Cucchiara
ISBN 13: 9783642102905
Format: Paperback (503 pages) Publisher: Springer Published: 30 Nov 2009
Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings (Lecture Notes in Computer Science)
by David Kaeli
ISBN 13: 9783540937982
Format: Paperback (156 pages) Publisher: Springer Published: 13 Feb 2009
Transactions on Computational Science VII: 5890 (Lecture Notes in Computer Science)
by C. J. Kenneth Tan
ISBN 13: 9783642113888
Format: Paperback (184 pages) Publisher: Springer Published: 15 Feb 2010
More than Moore: Creating High Value Micro/Nanoelectronics Systems
by Zhang
ISBN 13: 9780387755922
Format: Hardcover (344 pages) Publisher: Springer Published: 07 Aug 2009
Unix in A Nutshell 4e
by Arnold Robbins
ISBN 13: 9780596100292
Format: Paperback (724 pages) Publisher: O′Reilly Published: 05 Nov 2005 Other Format: Paperback
Make: Technology on Your Time Volume 16: v. 16
by Mark Frauenfelder
ISBN 13: 9780596523329
Format: Illustrated (192 pages) Publisher: Maker Media, Inc Published: 22 Nov 2008
Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... 5734 (Lecture Notes in Computer Science)
by Rastislav Kralovic,Damian Niwinski
ISBN 13: 9783642038150
Format: Illustrated (780 pages) Publisher: Springer Published: 06 Aug 2009