Buy Used and New Computer Science Books

Computer Security -- ESORICS 2009: 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009, Proceedings ... Computer Science / Security and Cryptology)

by

ISBN 13: 9783642044434

Format: Paperback (706 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Algorithms in Bioinformatics: 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)

by

ISBN 13: 9783642042409

Format: Paperback (430 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Multiagent System Technologies: 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642041426

Format: Paperback (290 pages)
Publisher: Springer
Published: 03 Sep 2009

Save for later

Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783642125652

Format: Paperback (275 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry)

by

ISBN 13: 9781402035319

Format: Paperback (404 pages)
Publisher: Springer
Published: 15 Jul 2005

Save for later

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Diagrammatic Reasoning in AI

by Robbie T. Nakatsu

ISBN 13: 9780470331873

Format: Hardcover (330 pages)
Publisher: Wiley-Blackwell
Published: 08 Dec 2009

Save for later

CNC Machining Technology: Volume I: Design, Development and CIM Strategies

by Graham T. Smith

ISBN 13: 9783540198284

Format: Paperback (192 pages)
Publisher: Springer
Published: 31 Mar 1993

Save for later

CNC Machining Technology: Volume II Cutting, Fluids and Workholding Technologies

by Graham T. Smith

ISBN 13: 9783540198291

Format: Paperback (204 pages)
Publisher: Springer
Published: 07 May 1993

Save for later

Optimizing Compilers for Modern Architectures: A Dependence-based Approach

by Randy Allen,Ken Kennedy

ISBN 13: 9781558602861

Format: Hardcover (790 pages)
Publisher: Morgan Kaufmann
Published: 04 Oct 2001

Save for later

Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry (Universitext)

by Jiri Matousek

ISBN 13: 9783540003625

Format: Paperback (226 pages)
Publisher: Springer
Published: 17 Apr 2003

Save for later

The Definitive Guide to How Computers Do Math: Featuring the Virtual DIY Calculator

by Clive Maxfield,Alvin Brown

ISBN 13: 9780471732785

Format: Paperback (464 pages)
Publisher: Wiley-Blackwell
Published: 21 Oct 2005

Save for later