Buy Used and New Architecture & Logic Books

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

Save for later

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540710691

Format: Paperback (556 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later

Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)

by

ISBN 13: 9783540330936

Format: Paperback (440 pages)
Publisher: Springer
Published: 16 Mar 2006

Save for later

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - ... / Programming and Software Engineering)

by

ISBN 13: 9783540754152

Format: Paperback (396 pages)
Publisher: Springer
Published: 18 Sep 2007

Save for later

Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings ... / Programming and Software Engineering)

by

ISBN 13: 9783540689805

Format: Paperback (323 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

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

Save for later

Computer Science - Theory and Applications: Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, ... Computer Science and General Issues)

by

ISBN 13: 9783540797081

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

Save for later

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540734475

Format: Paperback (419 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

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