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
System Performance Tuning
by Gian-Paolo D. Musumeci,Mike Loukides
ISBN 13: 9780596002848
Format: Paperback (352 pages) Publisher: O'Reilly Media Published: 15 Feb 2002 Other Format: Paperback
Design for Debugging and Validation of Embedded Systems (Morgan Kaufmann Series in Systems on Silicon (Hardcover))
by Roychoudhury
ISBN 13: 9780123742308
Format: Illustrated (400 pages) Publisher: Morgan Kaufmann Published: 08 Jul 2009
FPGAs 101,: Everything you need to know to get started
by Gina Smith
ISBN 13: 9781856177061
Format: Illustrated (250 pages) Publisher: Newnes Published: 25 Mar 2010
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
by David Gray
ISBN 13: 9783540761402
Format: Paperback (476 pages) Publisher: Springer-Verlag Published: 01 Nov 1998
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)
by Martin Wirsing, Alexander Knapp, Simonetta Balsamo
ISBN 13: 9783540211792
Format: Paperback (359 pages) Publisher: Springer Published: 18 Mar 2004
Patterns of Enterprise Application Architecture (Addison-Wesley Signature Series (Fowler))
by Martin Fowler
ISBN 13: 9780321127426
Format: Hardcover (560 pages) Publisher: Addison-Wesley Professional Published: 15 Nov 2002
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
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
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