Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by T. F. Melham
ISBN 13: 9780521417181
Format: Hardcover (179 pages) Publisher: Cambridge University Press Published: 11 Nov 1993
Save for later
An Introduction to the Analysis of Algorithms
by SOLTYS MICHAEL
ISBN 13: 9789814271400
Format: Illustrated (150 pages) Publisher: World Scientific Publishing Company Published: 14 Dec 2009
Digital Design and Verilog HDL Fundamentals
by Joseph Cavanagh
ISBN 13: 9781420074154
Format: Hardcover (1168 pages) Publisher: CRC Press Published: 16 Jun 2008
Correct Systems: Building a Business Process Solution (Applied Computing)
by Mike Holcombe, Florentin Ipate
ISBN 13: 9783540762461
Format: Paperback (206 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Sep 1998
Usability Engineering: Scenario-Based Development of Human-Computer Interaction (Interactive Technologies)
by Mary Beth Rosson,John M. Carroll
ISBN 13: 9781558607125
Format: Hardcover (448 pages) Publisher: Morgan Kaufmann Published: 20 Oct 2001
Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC
by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi
ISBN 13: 9781420044713
Format: Hardcover (288 pages) Publisher: CRC Press Published: 17 Sep 2008
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008
The Pentium Chronicles: The People, Passion, and Politics Behind Intel's Landmark Chips: 12 (Practitioners)
by Robert P. Colwell
ISBN 13: 9780471736172
Format: Illustrated (208 pages) Publisher: Wiley-IEEE Computer Society Pr Published: 24 May 2011
Discrete Mathematics for Computing
by Peter Grossman
ISBN 13: 9780230216112
Format: Paperback (332 pages) Publisher: Palgrave Published: 16 Dec 2008
Logic Functions and Equations: Examples and Exercises
by Bernd Steinbach,Christian Posthoff
ISBN 13: 9781402095948
Format: Hardcover (254 pages) Publisher: Springer Published: 12 Feb 2009
Computer Arithmetic and Verilog HDL Fundamentals
ISBN 13: 9781439811245
Format: Hardcover (971 pages) Publisher: CRC Press Published: 30 Nov 2009
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
by David Powell
ISBN 13: 9780792372950
Format: Hardcover (260 pages) Publisher: Springer Published: 31 Jan 2001