Rapid Prototyping of Digital Systems: Sopc Edition
by J. O. Hamblen,T. S. Hall,M. D. Furman
ISBN 13: 9780387726700
Format: Illustrated (432 pages) Publisher: Springer Published: 31 Oct 2007
Save for later
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
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 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
Handbook of Natural Language Processing (Chapman & Hall/CRC Machine Learning & Pattern Recognition)
by Nitin Indurkhya,Fred J. Damerau
ISBN 13: 9781420085921
Format: Illustrated (702 pages) Publisher: Chapman and Hall/CRC Published: 22 Feb 2010
Theory and Design of Digital Computer Systems
by Douglas Lewin
ISBN 13: 9780412428807
Format: Paperback (512 pages) Publisher: Springer Published: Nov 1992
High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009, Procceding: 5409 (Lecture Notes in Computer Science)
by Andre Seznec
ISBN 13: 9783540929895
Format: Paperback (436 pages) Publisher: Springer Published: 13 Feb 2009
ARM System-on-Chip Architecture (2nd Edition)
by Prof Steve Furber
ISBN 13: 9780201675191
Format: Paperback (432 pages) Publisher: Addison Wesley Published: 17 Aug 2000
Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael Michael Huth,
ISBN 13: 9780521543101
Format: paperback Publisher: Cambridge University Press
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
by Michael G. Hinchey
ISBN 13: 9781852336400
Format: Illustrated (420 pages) Publisher: Springer Published: 17 Sep 1999
Nano-Net: 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009, Proceedings (Lecture Notes of the Institute ... and Telecommunications Engineering)
by Alexandre Schmid,Sanjay Goel,Wei Wang,Valeriu Beiu,Sandro Carrara
ISBN 13: 9783642048494
Format: Paperback (304 pages) Publisher: Springer Published: 06 Oct 2009
Parallel Programming with MPI
by Peter S. Pacheco
ISBN 13: 9781558603394
Format: Paperback (442 pages) Publisher: Morgan Kaufmann Published: 26 Nov 1996