Buy Used and New Architecture & Logic Books

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

ISBN 13: 9780857290175

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jan 2011

Save for later

Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540851691

Format: Paperback (488 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540893295

Format: Paperback (343 pages)
Publisher: Springer
Published: 14 Nov 2008

Save for later

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540896739

Format: Paperback (406 pages)
Publisher: Springer
Published: 24 Nov 2008

Save for later

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)

by

ISBN 13: 9783540938996

Format: Paperback (381 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783540878780

Format: Paperback (235 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540921875

Format: Paperback (313 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540852377

Format: Paperback (626 pages)
Publisher: Springer
Published: 12 Aug 2008

Save for later

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540899815

Format: Paperback (844 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

GPU Computing Gems Emerald Edition (Applications of GPU Computing Series)

by

ISBN 13: 9780123849885

Format: Hardcover (886 pages)
Publisher: Morgan Kaufmann
Published: 21 Mar 2011

Save for later

AI for Games and Animation: A Cognitive Modeling Approach

by John David Funge

ISBN 13: 9781568811031

Format: Hardcover (236 pages)
Publisher: A K Peters/CRC Press
Published: 22 Jul 1999

Save for later