Algorithm Engineering: 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings (Lecture Notes in Computer Science)
by Gerd Stoelting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela
ISBN 13: 9783540425007
Format: Paperback (199 pages) Publisher: Springer Published: 15 Aug 2001
Save for later
Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)
by A. Cantini
ISBN 13: 9780444823069
Format: Illustrated (250 pages) Publisher: Elsevier Published: 14 Mar 1996
Handbook of Practical Logic and Automated Reasoning
by John Harrison
ISBN 13: 9780521899574
Format: Hardcover (702 pages) Publisher: Cambridge University Press Published: 12 Mar 2009
Languages and Compilers for Parallel Computing: 21st International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected ... Papers (Lecture Notes in Computer Science)
by Jose Nelson Amaral
ISBN 13: 9783540897392
Format: Paperback (368 pages) Publisher: Springer Published: 12 Dec 2008
Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, ... 4998 (Lecture Notes in Computer Science)
by Jaume Bacardit
ISBN 13: 9783540881377
Format: Paperback (320 pages) Publisher: Springer Published: 23 Oct 2008
Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots: 1 (Cognitive Systems Monographs)
by Paolo Arena, Luca Patanè
ISBN 13: 9783540884637
Format: Hardcover (452 pages) Publisher: Springer Published: 03 Feb 2009
Transactions on Computational Systems Biology X: 5410 (Lecture Notes in Computer Science)
by Corrado Priami, Falko Dressler, Ozgur B. Akan, Alioune Ngom
ISBN 13: 9783540922728
Format: Paperback (197 pages) Publisher: Springer Published: 18 Dec 2008
Recent Advances in Reinforcement Learning: 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers: 5323 (Lecture Notes in Computer Science)
by Sertan Girgin
ISBN 13: 9783540897217
Format: Paperback (304 pages) Publisher: Springer Published: 01 Dec 2008
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783540488156
Format: Paperback (386 pages) Publisher: Springer Published: 30 Oct 2006
Intelligent Virtual Agents: 6th International Conference, IVA 2006, Marina Del Rey, CA; USA, August 21-23, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540375937
Format: Paperback (472 pages) Publisher: Springer Published: 10 Aug 2006
Modelling and Reasoning with Vague Concepts (Studies in Computational Intelligence)
by Jonathan Lawry
ISBN 13: 9780387290560
Format: Hardcover (271 pages) Publisher: Springer Published: 22 Feb 2006
Computational Intelligence in Fault Diagnosis (Advanced Information and Knowledge Processing)
ISBN 13: 9781846283437
Format: Hardcover (362 pages) Publisher: Springer Published: 22 Sep 2006