Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael Michael Huth,
ISBN 13: 9780521543101
Format: paperback Publisher: Cambridge University Press
Save for later
FPGA Prototyping By Verilog Examples: Xilinx Spartan-3 Version
by Pong P. Chu
ISBN 13: 9780470185322
Format: Hardcover (528 pages) Publisher: Wiley-Interscience Published: 18 Jul 2008
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
Understanding and Applying Cryptography and Data Security
by Adam J. Elbirt
ISBN 13: 9781420061604
Format: Hardcover (416 pages) Publisher: Auerbach Publications Published: 09 Apr 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
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
Practices of an Agile Developer: Working in the Real World (Pragmatic Bookshelf) (Pragmatic Programmers)
by Venkat Subramaniam,Andy Hunt
ISBN 13: 9780974514086
Format: Paperback (204 pages) Publisher: Pragmatic Programmers, LLC, The Published: 11 Jul 2017
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
The Designer's Guide to VHDL (Systems on Silicon): Volume 3
by Peter J. Ashenden
ISBN 13: 9780120887859
Format: Illustrated (936 pages) Publisher: Morgan Kaufmann Published: 01 Jul 2008 Other Format: Paperback