Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
by Michael Yoeli,Rakefet Kol
ISBN 13: 9780471704492
Format: Hardcover (231 pages) Publisher: Wiley-Blackwell Published: 15 Apr 2008
Save for later
Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642004360
Format: Paperback (311 pages) Publisher: Springer Published: 26 Mar 2009
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642017476
Format: Paperback (245 pages) Publisher: Springer Published: 12 May 2009
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642020162
Format: Paperback (482 pages) Publisher: Springer Published: 28 Apr 2009
Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems
by Jean-Pierre Deschamps,Gery J.A. Bioul,Gustavo D. Sutter
ISBN 13: 9780471687832
Format: Hardcover (576 pages) Publisher: Wiley-Blackwell Published: 31 Mar 2006
Fundamentals of Digital Logic and Microcomputer Design
by M. Rafiquzzaman
ISBN 13: 9780471727842
Format: Hardcover (872 pages) Publisher: Wiley-Blackwell Published: 01 Jul 2005
Task Scheduling for Parallel Systems (Wiley Series on Parallel and Distributed Computing)
by Oliver Sinnen
ISBN 13: 9780471735762
Format: Hardcover (296 pages) Publisher: Wiley-Blackwell Published: 25 May 2007
Voice: User Interface Design
by Michael H. Cohen,James P. Giangola,Jennifer Balogh
ISBN 13: 9780321185761
Format: Paperback (368 pages) Publisher: Addison Wesley Published: 02 Feb 2004
Microcontroller Based Applied Digital Control
by Dogan Ibrahim
ISBN 13: 9780470863350
Format: Hardcover (324 pages) Publisher: Wiley-Blackwell Published: 10 Feb 2006
Colour Engineering: Achieving Device Independent Colour (Wiley Series in Display Technology)
ISBN 13: 9780471486886
Format: Hardcover (482 pages) Publisher: Wiley-Blackwell Published: 27 Jun 2002
RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability
by Pong P. Chu
ISBN 13: 9780471720928
Format: Hardcover (694 pages) Publisher: Wiley-Blackwell Published: 23 May 2006
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002