Buy Used and New Architecture & Logic Books

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

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540740605

Format: Paperback (469 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783540326045

Format: Paperback (275 pages)
Publisher: Springer
Published: 06 Apr 2006

Save for later

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540774419

Format: Paperback (333 pages)
Publisher: Springer
Published: 18 Dec 2007

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

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Computer Science and General Issues)

by

ISBN 13: 9783540787686

Format: Paperback (219 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later