Buy Used and New Architecture & Logic Books

Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)

by Anupam Datta

ISBN 13: 9783642106217

Format: Paperback (159 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

The SIM Guide to Enterprise Architecture

by Leon Kappelman

ISBN 13: 9781439811139

Format: Illustrated (330 pages)
Publisher: CRC Press
Published: 27 Oct 2009

Save for later

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)

by Martin Hofmann

ISBN 13: 9783540403326

Format: Illustrated (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)

by Marco Bernardo

ISBN 13: 9783540724827

Format: Illustrated (484 pages)
Publisher: Springer
Published: 28 Jun 2007

Save for later

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings

by Michael Leuschel, Heike Wehrheim

ISBN 13: 9783642002540

Format: Paperback (367 pages)
Publisher: Springer
Published: 02 Feb 2009

Save for later

Introduction to Embedded System Design Using Field Programmable Gate Arrays

by Rahul Dubey

ISBN 13: 9781848820159

Format: Hardcover (176 pages)
Publisher: Springer
Published: 04 Dec 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