Buy Used and New Architecture & Logic Books

Pattern Calculus: Computing with Functions and Structures

by Barry Jay

ISBN 13: 9783540891840

Format: Hardcover (230 pages)
Publisher: Springer
Published: 12 Aug 2009

Save for later

Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering)

by

ISBN 13: 9783540340973

Format: Paperback (265 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540728818

Format: Paperback (337 pages)
Publisher: Springer
Published: 25 May 2007

Save for later

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540779643

Format: Paperback (267 pages)
Publisher: Springer
Published: 01 Feb 2008

Save for later

Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540790020

Format: Paperback (331 pages)
Publisher: Springer
Published: 08 Apr 2008

Save for later

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)

by

ISBN 13: 9783540688549

Format: Paperback (341 pages)
Publisher: Springer
Published: 27 May 2008

Save for later

PHYSARUM MACHINES: COMPUTERS FROM SLIME MOULD (World Scientific Series on Nonlinear Science: Series A)

by ADAMATZKY ANDREW

ISBN 13: 9789814327589

Format: Hardcover (280 pages)
Publisher: World Scientific Publishing
Published: 26 Oct 2010

Save for later

Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)

by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge

ISBN 13: 9789089640260

Format: Paperback (240 pages)
Publisher: Amsterdam University Press
Published: 01 Jul 2008

Save for later

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)

by Philippe Audebaud

ISBN 13: 9783540705932

Format: Paperback (436 pages)
Publisher: Springer
Published: 15 Aug 2008

Save for later

Optimization Techniques for Solving Complex Problems: 76 (Wiley Series on Parallel and Distributed Computing)

by Enrique Alba,Christian Blum,Pedro Asasi,Coromoto Leon,Juan Antonio Gomez

ISBN 13: 9780470293324

Format: Illustrated (504 pages)
Publisher: Wiley
Published: 09 Apr 2009

Save for later

DRAWING PROGRAMS: The Theory and Practice of Schematic Functional Programming

by Tom Addis,Jan Addis

ISBN 13: 9781848826175

Format: Paperback (416 pages)
Publisher: Springer
Published: 04 Feb 2010

Save for later