SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
by
ISBN 13: 9783540749837
Format: Paperback (289 pages) Publisher: Springer Published: 06 Sep 2007
Save for later
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
Communicating Embedded Systems for Computer Science
by Claude Jard,Olivier Roux
ISBN 13: 9781848211438
Format: Hardcover (288 pages) Publisher: Wiley-Blackwell Published: 06 Nov 2009
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
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
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