Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642026577
Format: Paperback (722 pages) Publisher: Springer Published: 19 Jun 2009
Save for later
Universal Access in Human-Computer Interaction. Addressing Diversity: 5th International Conference, UAHCI 2009, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642027062
Format: Paperback (689 pages) Publisher: Springer Published: 02 Jul 2009
Universal Access in Human-Computer Interaction. Applications and Services: 5th International Conference, UAHCI 2009, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642027123
Format: Paperback (817 pages) Publisher: Springer Published: 02 Jul 2009
Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings: 5642 (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642029783
Format: Paperback (263 pages) Publisher: Springer Published: 24 Jun 2009
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)
ISBN 13: 9783642032394
Format: Paperback (233 pages) Publisher: Springer Published: 20 Jul 2009
Principles and Practices of Interconnection Networks (The Morgan Kaufmann Series in Computer Architecture and Design)
by William James Dally,Brian Patrick Towles
ISBN 13: 9780122007514
Format: Hardcover (550 pages) Publisher: Morgan Kaufmann Published: 06 Mar 2004
High-Level Synthesis: from Algorithm to Digital Circuit
ISBN 13: 9781402085871
Format: Hardcover (300 pages) Publisher: Springer Published: 26 Aug 2008
Ocean Wave Energy: Current Status and Future Prespectives (Green Energy and Technology)
by Joao Cruz
ISBN 13: 9783540748946
Format: Hardcover (431 pages) Publisher: Springer Published: 04 Jan 2008
Reliable Computer Systems: Design and Evaluation
by Daniel P. Siewiorek,Robert S. Swarz
ISBN 13: 9781568810928
Format: Hardcover (908 pages) Publisher: A K Peters/CRC Press Published: 15 Dec 1998
Bioinformatics: High Performance Parallel Computer Architectures (Embedded Multi-core Systems)
ISBN 13: 9781439814888
Format: Hardcover (370 pages) Publisher: CRC Press Published: 16 Jul 2010
Discrete-event Modeling and Simulation (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriel A. Wainer
ISBN 13: 9781420053364
Format: Hardcover (520 pages) Publisher: CRC Press Published: 30 Apr 2009
Design for Electrical and Computer Engineers
by J. Eric Salt,Robert Rothery
ISBN 13: 9780471391463
Format: Paperback (192 pages) Publisher: John Wiley & Sons Published: 21 Sep 2001