Buy Used and New Architecture & Logic Books

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 and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)

by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge

ISBN 13: 9789089640260

Format: Paperback (240 pages)
Publisher: Amsterdam University Press
Published: 01 Jul 2008

Save for later

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)

by Philippe Audebaud

ISBN 13: 9783540705932

Format: Paperback (436 pages)
Publisher: Springer
Published: 15 Aug 2008

Save for later

Optimization Techniques for Solving Complex Problems: 76 (Wiley Series on Parallel and Distributed Computing)

by Enrique Alba,Christian Blum,Pedro Asasi,Coromoto Leon,Juan Antonio Gomez

ISBN 13: 9780470293324

Format: Illustrated (504 pages)
Publisher: Wiley
Published: 09 Apr 2009

Save for later

DRAWING PROGRAMS: The Theory and Practice of Schematic Functional Programming

by Tom Addis,Jan Addis

ISBN 13: 9781848826175

Format: Paperback (416 pages)
Publisher: Springer
Published: 04 Feb 2010

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Integrating ISA Server 2006 with Microsoft Exchange 2007

by Fergus Strachan

ISBN 13: 9781597492751

Format: Paperback (376 pages)
Publisher: Syngress
Published: 17 Jul 2008

Save for later

Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540738169

Format: Paperback (185 pages)
Publisher: Springer
Published: 27 Jul 2007

Save for later

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540753339

Format: Paperback (339 pages)
Publisher: Springer
Published: 22 Nov 2007

Save for later