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
Save for later
The Calculus of Computation: Decision Procedures with Applications to Verification
by Aaron R. Bradley,Zohar Manna
ISBN 13: 9783540741121
Format: Hardcover (366 pages) Publisher: Springer Published: 03 Sep 2007
Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)
by Jim Smith,Ravi Nair
ISBN 13: 9781558609105
Format: Hardcover (656 pages) Publisher: Morgan Kaufmann Published: 12 Jul 2005
SharePoint 2003 User's Guide (The Expert's Voice in Sharepoint)
by Seth; Smith, Tony Bates
ISBN 13: 9781590595145
Format: Paperback (368 pages) Publisher: APRESS Published: 01 Jul 2005
Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)
by
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
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
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
Enterprise Systems Integration (Best Practices)
by Judith M. Myerson
ISBN 13: 9780849311499
Format: Hardcover (832 pages) Publisher: Auerbach Publications Published: 26 Sep 2001