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
VHDL-2008: Just the New Stuff (Systems on Silicon)
by Peter J. Ashenden,Jim Lewis
ISBN 13: 9780123742490
Format: Paperback (256 pages) Publisher: Morgan Kaufmann Published: 18 Jan 2008
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
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
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
Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642116582
Format: Paperback (283 pages) Publisher: Springer Published: 08 Feb 2010
High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ... Computer Science and General Issues)
ISBN 13: 9783642118418
Format: Paperback (589 pages) Publisher: Springer Published: 19 Feb 2010