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
Save for later
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
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
Distributed .NET Programming in VB .NET (.Net Developer)
by Tom Barnaby
ISBN 13: 9781590590683
Format: Illustrated (532 pages) Publisher: Apress Published: 01 Oct 2002
Model-based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriela Nicolescu, Pieter J. Mosterman
ISBN 13: 9781420067842
Format: Hardcover (766 pages) Publisher: CRC Press Published: 24 Nov 2009
INTRODUCTION TO QUANTUM STATISTICAL MECHANICS (2ND EDITION)
by N N Bogolubov,N N Bogolubov Jr
ISBN 13: 9789814295826
Format: Paperback (440 pages) Publisher: World Scientific Publishing Company Published: 11 Feb 2010
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
Theory and Design of Digital Computer Systems
by Douglas Lewin
ISBN 13: 9780412428807
Format: Paperback (512 pages) Publisher: Springer Published: Nov 1992
Digital Logic Design
by BRIAN HOLDSWORTH
ISBN 13: 9780750645829
Format: Paperback (534 pages) Publisher: Newnes Published: 17 Apr 2000 Other Format: Paperback