Buy Used and New Computer Science Books

Handbook of Constraint Programming (Foundations of Artificial Intelligence)

by

ISBN 13: 9780444527264

Format: Hardcover (978 pages)
Publisher: Elsevier Science
Published: 18 Aug 2006

Save for later

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642005954

Format: Paperback (471 pages)
Publisher: Springer
Published: 09 Mar 2009

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

Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540210443

Format: Paperback (323 pages)
Publisher: Springer
Published: 10 Feb 2004

Save for later

Practical Aspects of Knowledge Management: 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540240884

Format: Paperback (524 pages)
Publisher: Springer
Published: 01 Dec 2004

Save for later

Pro SQL Server 2005 Reporting Services

by Rodney Landrum,Walter J. Voytek II

ISBN 13: 9781590594988

Format: Paperback (400 pages)
Publisher: APRESS
Published: 01 Oct 2005

Save for later

Parallel Scientific Computing in C++ and MPI: A Seamless Approach to Parallel Algorithms and their Implementation

by George Em Karniadakis,Robert M. Kirby II

ISBN 13: 9780521520805

Format: Paperback (630 pages)
Publisher: Cambridge University Press
Published: 16 Jun 2003

Save for later

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers

ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later

Damage Models and Algorithms for Assessment of Structures Under Operation Conditions (Structures and Infrastructures)

by

ISBN 13: 9780415421959

Format: Hardcover (340 pages)
Publisher: CRC Press
Published: 17 Sep 2009

Save for later

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540741275

Format: Paperback (185 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Advanced Concepts for Intelligent Vision Systems: 9th International Conference, ACIVS 2007, Delft, The Netherlands, August 28-31, 2007, Proceedings ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783540746065

Format: Paperback (1100 pages)
Publisher: Springer
Published: 22 Aug 2007

Save for later