Buy Used and New Architecture & Logic Books

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology)

by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

ISBN 13: 9783642038280

Format: Paperback (339 pages)
Publisher: Springer
Published: 17 Aug 2009

Save for later

Prediction, Learning, and Games

by Nicolo Cesa-Bianchi,Gabor Lugosi

ISBN 13: 9780521841085

Format: Illustrated (408 pages)
Publisher: Cambridge University Press
Published: 13 Mar 2006

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... 200: 1785 (Lecture Notes in Computer Science)

by Susanne Graf,Michael Schwartzbach

ISBN 13: 9783540672821

Format: Paperback (570 pages)
Publisher: Springer
Published: 15 Mar 2000

Save for later

Embedded Linux System Design and Development

by P. Raghavan,Amol Lad,Sriram Neelakandan

ISBN 13: 9780849340581

Format: Hardcover (432 pages)
Publisher: Auerbach Publications
Published: 21 Dec 2005

Save for later

Reinforcement Learning and Dynamic Programming Using Function Approximators (Automation and Control Engineering)

by Lucian Busoniu,Robert Babuska,Bart De Schutter,Damien Ernst

ISBN 13: 9781439821084

Format: Hardcover (280 pages)
Publisher: CRC Press
Published: 29 Apr 2010

Save for later

Oracle SOA Suite 11g Handbook (Osborne Oracle Press Series)

by Lucas Jellema

ISBN 13: 9780071608978

Format: Paperback (800 pages)
Publisher: McGraw-Hill Osborne
Published: 01 Oct 2010

Save for later

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley,Zohar Manna

ISBN 13: 9783540741121

Format: Hardcover (366 pages)
Publisher: Springer
Published: 03 Sep 2007

Save for later

Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642116582

Format: Paperback (283 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ... Computer Science and General Issues)

by

ISBN 13: 9783642118418

Format: Paperback (589 pages)
Publisher: Springer
Published: 19 Feb 2010

Save for later

Graph Classification And Clustering Based On Vector Space Embedding (Series in Machine Perception and Artificial Intelligence)

by Riesen Kaspar & Bunke Horst

ISBN 13: 9789814304719

Format: Hardcover (348 pages)
Publisher: World Scientific Publishing
Published: 30 Jun 2011

Save for later

The Compiler Design Handbook: Optimizations and Machine Code Generation

by

ISBN 13: 9781420043822

Format: Hardcover (784 pages)
Publisher: CRC Press
Published: 07 Dec 2007

Save for later

Elementary Logic: For Software Development

by Robert Lover

ISBN 13: 9781848000810

Format: Paperback (314 pages)
Publisher: Springer
Published: 01 Sep 2008

Save for later