Buy Used and New Computer Science Books

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540438656

Format: Paperback (343 pages)
Publisher: Springer
Published: 19 Jun 2002

Save for later

Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs (Advanced Information and Knowledge Processing)

by Michel Chein,Marie-Laure Mugnier

ISBN 13: 9781848002852

Format: Hardcover (430 pages)
Publisher: Springer
Published: 21 Oct 2008

Save for later

Formal Refinement for Operating System Kernels

by Iain D. Craig

ISBN 13: 9781846289668

Format: Hardcover (336 pages)
Publisher: Springer
Published: 31 Jul 2007

Save for later

Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540708438

Format: Paperback (289 pages)
Publisher: Springer
Published: 10 Jul 2008

Save for later

Advances in Knowledge Discovery and Data Mining: 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642013065

Format: Paperback (1076 pages)
Publisher: Springer
Published: 20 Apr 2009

Save for later

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642119989

Format: Paperback (179 pages)
Publisher: Springer
Published: 01 Apr 2010

Save for later

Sustaining TEL: From Innovation to Learning and Practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, ... / Programming and Software Engineering)

by

ISBN 13: 9783642160196

Format: Paperback (649 pages)
Publisher: Springer
Published: 27 Sep 2010

Save for later

Stochastic Approximation and Recursive Algorithms and Applications: v. 35 (Stochastic Modelling and Applied Probability)

by Harold J. Kushner,G. George Yin

ISBN 13: 9780387008943

Format: Hardcover (474 pages)
Publisher: Springer
Published: 15 Aug 2003

Save for later

Abstract State Machines: A Method for High-Level System Design and Analysis

by Egon Börger,Robert Stärk

ISBN 13: 9783540007029

Format: Hardcover (438 pages)
Publisher: Springer
Published: 23 Apr 2003

Save for later

Dynamic Modelling of Gas Turbines: Identification, Simulation, Condition Monitoring and Optimal Control (Advances in Industrial Control)

by

ISBN 13: 9781852337841

Format: Hardcover (309 pages)
Publisher: Springer
Published: 03 Jun 2004

Save for later

R-Trees: Theory and Applications (Advanced Information and Knowledge Processing)

by Yannis Manolopoulos,Alexandros Nanopoulos,Apostolos N. Papadopoulos,Yannis Theodoridis

ISBN 13: 9781852339777

Format: Hardcover (194 pages)
Publisher: Springer
Published: 21 Nov 2005

Save for later

Scientific Methods in Mobile Robotics: Quantitative Analysis of Agent Behaviour (Advanced Manufacturing)

by Ulrich Nehmzow

ISBN 13: 9781846280191

Format: Hardcover (207 pages)
Publisher: Springer
Published: 18 Nov 2005

Save for later