Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Save for later
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009
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
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
The SIM Guide to Enterprise Architecture
by Leon Kappelman
ISBN 13: 9781439811139
Format: Illustrated (330 pages) Publisher: CRC Press Published: 27 Oct 2009
Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems (Cognitive Technologies)
by Poramate Manoonpong
ISBN 13: 9783540688020
Format: Hardcover (188 pages) Publisher: Springer Published: 15 May 2007
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979: No. 70 (Lecture Notes in Computer Science)
by G. Kahn
ISBN 13: 9783540095118
Format: Paperback (380 pages) Publisher: Springer Published: 01 Jun 1979
Embedded Systems Building Blocks: Complete and Ready-to-Use Modules in C
by Jean J. Labrosse
ISBN 13: 9780879306045
Format: Hardcover (640 pages) Publisher: CRC Press Published: 12 Jan 1999
Parallel Distributed Processing, Volume 2: Explorations in the Microstructure of Cognition: Psychological and Biological Models
by James L. L. Mcclelland, David E. Rumelhart,PDP Research Group
ISBN 13: 9780262631105
Format: Paperback (630 pages) Publisher: MIT Press Published: 01 Jan 1986 Other Format: Paperback
Advances in Computation and Intelligence: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, . . . ... 5821 (Lecture Notes in Computer Science)
by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu
ISBN 13: 9783642048425
Format: Paperback (554 pages) Publisher: Springer Published: 05 Oct 2009