Taxonomies for the Development and Verification of Digital Systems
by
ISBN 13: 9780387240190
Format: Hardcover (180 pages) Publisher: Springer Published: 10 May 2005
Save for later
Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)
by Francesca Rossi, François Fages, Sylvain Soliman
ISBN 13: 9783540898115
Format: Paperback (159 pages) Publisher: Springer Published: 01 Dec 2008
Analog and VLSI Circuits (Circuits and Filters Handbook, 3rd Edition)
by Wai-Kai Chen
ISBN 13: 9781420058918
Format: Hardcover (702 pages) Publisher: CRC Press Published: 23 Jun 2009
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)
by Alexander Kurz,Marina Lenisa
ISBN 13: 9783642037405
Format: Paperback (472 pages) Publisher: Springer Published: 28 Aug 2009
Handbook of Applied Algorithms: Solving Scientific, Engineering and Practical Problems
ISBN 13: 9780470044926
Format: Hardcover (560 pages) Publisher: Wiley-Blackwell Published: 28 Mar 2008
Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 2008
Software Measurement and Estimation: A Practical Approach (Quantitative Software Engineering Series)
by Linda M. Laird,M. Carol Brennan
ISBN 13: 9780471676225
Format: Hardcover (280 pages) Publisher: Wiley-Blackwell Published: 07 Jul 2006
Introduction to Instrumentation, Sensors, and Process Control (Artech House Sensors Library)
by William C. Dunn
ISBN 13: 9781580530118
Format: Hardcover (354 pages) Publisher: Artech House Published: Nov 2005
Quantum Computing for Communications: An Engineering Approach
by Sandor Imre,Ferenc Balazs
ISBN 13: 9780470869024
Format: Hardcover (314 pages) Publisher: Wiley-Blackwell Published: 19 Nov 2004
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
Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)
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