Buy Used and New Architecture & Logic Books

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

ISBN 13: 9780857290175

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jan 2011

Save for later

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

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

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

High - Level Synthesis: Introduction to Chip and System Design

by Daniel D. Gajski,Nikil D. Dutt,Allen C-H Wu

ISBN 13: 9780792391944

Format: Illustrated (376 pages)
Publisher: Springer
Published: 29 Feb 1992

Save for later

Integrating ISA Server 2006 with Microsoft Exchange 2007

by Fergus Strachan

ISBN 13: 9781597492751

Format: Paperback (376 pages)
Publisher: Syngress
Published: 17 Jul 2008

Save for later

FPGAs: World Class Designs

by Clive Maxfield

ISBN 13: 9781856176217

Format: Illustrated (526 pages)
Publisher: Newnes
Published: 18 Feb 2009

Save for later

Production Grids in Asia: Applications, Developments and Global Ties

by Simon C. Lin, Eric Yen

ISBN 13: 9781441900456

Format: Hardcover (228 pages)
Publisher: Springer
Published: 30 Oct 2009

Save for later

The New Hacker's Dictionary

by ES Raymond

ISBN 13: 9780262680929

Format: Paperback (547 pages)
Publisher: MIT Press
Published: 29 Nov 1996
Other Format: Paperback

Save for later