Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)
by
ISBN 13: 9783642031373
Format: Paperback (342 pages) Publisher: Springer Published: 13 Jul 2009 Other Format: Paperback
Save for later
System Modeling and Optimization: 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers (IFIP Advances in Information and Communication Technology)
ISBN 13: 9783642048012
Format: Hardcover (507 pages) Publisher: Springer Published: 15 Oct 2009
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010
Arithmetic Optimization Techniques for Hardware and Software Design
by Ryan Kastner,Anup Hosangadi,Farzan Fallah
ISBN 13: 9780521880992
Format: Hardcover (200 pages) Publisher: Cambridge University Press Published: 06 May 2010
Quantitative Measure for Discrete Event Supervisory Control
ISBN 13: 9780387021089
Format: Hardcover (264 pages) Publisher: Springer Published: 01 Feb 2005
Taxonomies for the Development and Verification of Digital Systems
ISBN 13: 9780387240190
Format: Hardcover (180 pages) Publisher: Springer Published: 10 May 2005
Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 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
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