Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)
by
ISBN 13: 9783642195822
Format: Paperback (207 pages) Publisher: Springer Published: 17 Mar 2011
Save for later
Algorithm-Architecture Matching for Signal and Image Processing: Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009 (Lecture Notes in Electrical Engineering)
ISBN 13: 9789048199648
Format: Hardcover (307 pages) Publisher: Springer Published: 28 Oct 2010
Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II ... Computer Science and General Issues)
ISBN 13: 9783642233968
Format: Paperback (488 pages) Publisher: Springer Published: 12 Aug 2011 Other Format: Paperback
Artificial Intelligence and Computational Intelligence: Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642238802
Format: Paperback (719 pages) Publisher: Springer Published: 12 Sep 2011
Advances in Computer Science and Education Applications: International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part II (Communications in Computer and Information Science)
ISBN 13: 9783642224553
Format: Paperback (587 pages) Publisher: Springer Published: 30 Jun 2011
Artificial Intelligence and Computational Intelligence: Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642238864
Format: Paperback (736 pages) Publisher: Springer Published: 12 Sep 2011 Other Format: Paperback
GPU Computing Gems Jade Edition (Applications of GPU Computing Series)
ISBN 13: 9780123859631
Format: Hardcover (560 pages) Publisher: Morgan Kaufmann Published: 02 Nov 2011
Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers: 5495 (Lecture Notes in Computer Science)
by Mikko Kolehmainen,Pekka Toivanen,Bartlomiej Beliczynski
ISBN 13: 9783642049200
Format: Illustrated (648 pages) Publisher: Springer Berlin Heidelberg Published: 15 Oct 2009
System-on-Chip Test Architectures: Nanometer Design for Testability: Volume . (Systems on Silicon)
by Laung-Terng Wang
ISBN 13: 9780123739735
Format: Illustrated (896 pages) Publisher: Morgan Kaufmann Published: 08 Jan 2008
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)
by Marcel Vinícius Medeiros Oliveira, Jim Woodcock
ISBN 13: 9783642104510
Format: Paperback (351 pages) Publisher: Springer Published: 09 Nov 2009
The PIC Microcontroller: Your Personal Introductory Course: Your Personal Introductory Course
by John Morton
ISBN 13: 9780750666640
Format: Illustrated (240 pages) Publisher: Newnes Published: 07 Oct 2005
The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)
by Arnold L. L. Rosenberg
ISBN 13: 9780387096384
Format: Paperback (344 pages) Publisher: Springer Published: 12 Nov 2009