Buy Used and New Architecture & Logic Books

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

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540671909

Format: Paperback (299 pages)
Publisher: Springer
Published: 09 Feb 2000

Save for later

Parallel Problem Solving from Nature - PPSN IX: 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540389903

Format: Paperback (1061 pages)
Publisher: Springer
Published: 13 Sep 2006

Save for later

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783540695530

Format: Paperback (269 pages)
Publisher: Springer
Published: 18 Jan 2007

Save for later

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

by

ISBN 13: 9783540712886

Format: Paperback (440 pages)
Publisher: Springer
Published: 09 Mar 2007

Save for later

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ... Computer Science and General Issues)

by

ISBN 13: 9783540781622

Format: Paperback (325 pages)
Publisher: Springer
Published: 26 Feb 2008

Save for later

Evolvable Systems: From Biology to Hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540858560

Format: Paperback (444 pages)
Publisher: Springer
Published: 08 Sep 2008

Save for later

ECOOP 2004 - Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540221593

Format: Paperback (622 pages)
Publisher: Springer
Published: 08 Jun 2004

Save for later

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642125911

Format: Paperback (215 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

Einfuhrung in Die Informatik: Objektorientiert MIT Java (eXamen.Press)

by Wolfgang K]chlin,Andreas Weber,Wolfgang Kuchlin,Wolfgang Ka1/4chlin

ISBN 13: 9783540209584

Format: Paperback (471 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 01 Oct 2004

Save for later