Buy Used and New Architecture & Logic Books

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

Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540687450

Format: Paperback (429 pages)
Publisher: Springer
Published: 30 May 2008

Save for later

Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers (Lecture Notes in Computer Science)

by

ISBN 13: 9783642119309

Format: Paperback (204 pages)
Publisher: Springer
Published: 14 Apr 2010

Save for later

The Semantic Web - ISWC 2006: 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540490296

Format: Paperback (1025 pages)
Publisher: Springer
Published: 26 Oct 2006

Save for later

Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition (Lecture Notes in Computer Science / Programming and Software Engineering)

by Ben Liblit

ISBN 13: 9783540718772

Format: Paperback (101 pages)
Publisher: Springer
Published: 25 Apr 2007

Save for later