Buy Used and New Architecture & Logic Books

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540735793

Format: Paperback (418 pages)
Publisher: Springer
Published: 04 Jul 2007

Save for later

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540682356

Format: Paperback (436 pages)
Publisher: Springer
Published: 08 May 2008

Save for later

ECOOP 2009 -- Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642030123

Format: Paperback (631 pages)
Publisher: Springer
Published: 30 Jun 2009

Save for later

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642041631

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

Save for later

Architecture of Computing Systems - ARCS 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540327653

Format: Paperback (508 pages)
Publisher: Springer
Published: 06 Mar 2006

Save for later

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, ... / Programming and Software Engineering)

by

ISBN 13: 9783540708889

Format: Paperback (235 pages)
Publisher: Springer
Published: 09 Feb 2007

Save for later

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, ... Computer Science and General Issues)

by

ISBN 13: 9783540775041

Format: Paperback (361 pages)
Publisher: Springer
Published: 24 Jan 2008

Save for later

Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540377566

Format: Paperback (456 pages)
Publisher: Springer
Published: 17 Aug 2006

Save for later

Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.: 12 International ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540428756

Format: Paperback (379 pages)
Publisher: Springer
Published: 07 Nov 2001

Save for later

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540331025

Format: Paperback (317 pages)
Publisher: Springer
Published: 15 Mar 2006

Save for later

Advances in Computer Science - ASIAN 2007. Computer and Network Security: 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540769279

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

Save for later

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)

by R. Goldblatt

ISBN 13: 9783540112105

Format: Paperback (304 pages)
Publisher: Springer
Published: 01 Mar 1982

Save for later