Buy Used and New Architecture & Logic Books

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers: 7th ... / Programming and Software Engineering)

by

ISBN 13: 9783642195884

Format: Paperback (199 pages)
Publisher: Springer
Published: 31 Mar 2011

Save for later

Advances in Intelligent Data Analysis IX: 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642130618

Format: Paperback (273 pages)
Publisher: Springer
Published: 04 May 2010

Save for later

Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I ... Computer Science and General Issues)

by

ISBN 13: 9783642233999

Format: Paperback (631 pages)
Publisher: Springer
Published: 12 Aug 2011
Other Format: Paperback

Save for later

Contemporary Computing: 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings (Communications in Computer and Information Science)

by

ISBN 13: 9783642226052

Format: Paperback (582 pages)
Publisher: Springer
Published: 06 Jul 2011

Save for later

Computational Intelligence Methods for Bioinformatics and Biostatistics: 7th International Meeting, CIBIB 2010, Palermo, Italy, September 16-18, 2010, ... Science / Lecture Notes in Bioinformatics)

by

ISBN 13: 9783642219450

Format: Paperback (301 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

A Hybrid Deliberative Layer for Robotic Agents: Fusing DL Reasoning with HTN Planning in Autonomous Robots (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Ronny Hartanto

ISBN 13: 9783642225796

Format: Paperback (237 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

Algorithms in Bioinformatics: 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)

by

ISBN 13: 9783642230370

Format: Paperback (378 pages)
Publisher: Springer
Published: 30 Aug 2011

Save for later

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642229527

Format: Paperback (386 pages)
Publisher: Springer
Published: 09 Aug 2011

Save for later

Multiple Classifier Systems: 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings (Lecture Notes in Computer Science / ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783642215568

Format: Paperback (384 pages)
Publisher: Springer
Published: 14 Jun 2011

Save for later

Evolutionary Computing: AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers (Lecture Notes in Computer Science)

by

ISBN 13: 9783540584834

Format: Paperback (344 pages)
Publisher: Springer
Published: 28 Sep 1994

Save for later

Computing and Combinatorics: 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642226847

Format: Paperback (663 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

ISBN 13: 9780857298072

Format: Hardcover (433 pages)
Publisher: Springer
Published: 16 Jul 2011

Save for later