Buy Used and New Architecture & Logic Books

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642205507

Format: Paperback (259 pages)
Publisher: Springer
Published: 02 May 2011

Save for later

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642209192

Format: Paperback (321 pages)
Publisher: Springer
Published: 02 May 2011

Save for later

Transactions of Computational Collective Intelligence IV (Lecture Notes in Computer Science / Transactions on Computational Collective Intelligence)

by

ISBN 13: 9783642218835

Format: Paperback (220 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642203978

Format: Paperback (536 pages)
Publisher: Springer
Published: 06 Apr 2011

Save for later

Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642212215

Format: Paperback (519 pages)
Publisher: Springer
Published: 16 May 2011
Other Format: Paperback

Save for later

Software Engineering and Computer Systems, Part III: Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, ... in Computer and Information Science)

by

ISBN 13: 9783642222023

Format: Paperback (846 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers ... Computer Science and General Issues)

by

ISBN 13: 9783642222559

Format: Paperback (312 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later

Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642216565

Format: Paperback (711 pages)
Publisher: Springer
Published: 24 Jun 2011
Other Format: Paperback

Save for later

Advances in Neural Networks -- ISNN 2011: 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783642211041

Format: Paperback (668 pages)
Publisher: Springer
Published: 10 May 2011
Other Format: Paperback

Save for later

Computer Science - Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, ... Computer Science and General Issues)

by

ISBN 13: 9783642207112

Format: Paperback (482 pages)
Publisher: Springer
Published: 03 Jun 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 in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael Michael Huth,

ISBN 13: 9780521543101

Format: paperback
Publisher: Cambridge University Press

Save for later