Buy Used and New Architecture & Microprocessors Books

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein

ISBN 13: 9783540004288

Format: Hardcover (437 pages)
Publisher: Springer
Published: 24 Apr 2007

Save for later

Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies)

by Luc De Raedt

ISBN 13: 9783540200406

Format: Hardcover (404 pages)
Publisher: Springer
Published: 12 Sep 2008

Save for later

ICT Innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers (Communications in Computer and Information Science)

by

ISBN 13: 9783642193248

Format: Paperback (378 pages)
Publisher: Springer
Published: 01 Mar 2011

Save for later

Engineering Methods in the Service-Oriented Context: 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, ... in Information and Communication Technology)

by

ISBN 13: 9783642199967

Format: Hardcover (242 pages)
Publisher: Springer
Published: 23 Mar 2011

Save for later

Software Engineering 2: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783540211501

Format: Hardcover (804 pages)
Publisher: Springer
Published: 22 Feb 2006
Other Format: Hardcover

Save for later

Cryptographic Hardware and Embedded Systems - CHES 2007: 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783540747345

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers ... / Programming and Software Engineering)

by

ISBN 13: 9783642194399

Format: Paperback (428 pages)
Publisher: Springer
Published: 23 Feb 2011

Save for later

Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642194856

Format: Paperback (164 pages)
Publisher: Springer
Published: 16 Mar 2011

Save for later

Doing Web Development: Client-side Techniques (Expert's Voice)

by Deborah Kurata

ISBN 13: 9781893115873

Format: Illustrated (508 pages)
Publisher: Apress
Published: 01 Dec 2001

Save for later

Selected Papers on Analysis of Algorithms (Center for the Study of Language and Information Publication Lecture Notes)

by Donald E. Knuth

ISBN 13: 9781575862125

Format: Paperback (540 pages)
Publisher: Cambridge University Press
Published: 29 May 2000

Save for later

Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence

by Pamela McCorduck

ISBN 13: 9781568812052

Format: Paperback (600 pages)
Publisher: A K Peters/CRC Press
Published: 17 Mar 2004

Save for later

Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties

by Giorgio Ausiello,Pierluigi Crescenzi,Giorgio Gambosi,Viggo Kann,Alberto Marchetti-Spaccamela,Marco Protasi

ISBN 13: 9783540654315

Format: Hardcover (543 pages)
Publisher: Springer
Published: 09 Nov 1999

Save for later