Buy Used and New Architecture & Logic Books

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

Applications of Geometric Algebra in Computer Science and Engineering

by

ISBN 13: 9780817642679

Format: Hardcover (478 pages)
Publisher: Birkhauser
Published: 01 Mar 2002

Save for later

Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540251088

Format: Paperback (684 pages)
Publisher: Springer
Published: 04 Mar 2005

Save for later

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

Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540851691

Format: Paperback (488 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540893295

Format: Paperback (343 pages)
Publisher: Springer
Published: 14 Nov 2008

Save for later

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

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