Buy Used and New Algorithms Books

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering)

by

ISBN 13: 9783642041662

Format: Paperback (299 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Text, Speech and Dialogue: 12th International Conference, TSD 2009, Pilsen, Czech Republic, September 13-17, 2009. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642042072

Format: Paperback (428 pages)
Publisher: Springer
Published: 03 Sep 2009

Save for later

Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 ... / Programming and Software Engineering)

by

ISBN 13: 9783642042430

Format: Paperback (844 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Discrete Geometry for Computer Imagery: 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009, Proceedings ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783642043963

Format: Paperback (540 pages)
Publisher: Springer
Published: 11 Sep 2009

Save for later

Progress in Artificial Intelligence: 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642046858

Format: Paperback (686 pages)
Publisher: Springer
Published: 29 Sep 2009

Save for later

Safety and Security in Multiagent Systems: Research Results from 2004-2006 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642048784

Format: Paperback (343 pages)
Publisher: Springer
Published: 15 Oct 2009

Save for later

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642048920

Format: Paperback (329 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642049118

Format: Paperback (176 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Flexible Query Answering Systems: 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642049569

Format: Paperback (676 pages)
Publisher: Springer
Published: 15 Oct 2009

Save for later

Advances in Ubiquitous User Modelling: Revised Selected Papers (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642050381

Format: Paperback (159 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Gabriele Puppis

ISBN 13: 9783642118807

Format: Paperback (206 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642130939

Format: Paperback (548 pages)
Publisher: Springer
Published: 20 May 2010

Save for later