Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
by Wolfgang Bibel,P.H. Schmitt
ISBN 13: 9780792351290
Format: Illustrated (508 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover
Save for later
Modelling Dynamics in Processes and Systems: 180 (Studies in Computational Intelligence)
by Wojciech Mitkowski
ISBN 13: 9783540922025
Format: Hardcover (204 pages) Publisher: Springer Published: 01 Jun 2009
Differential Evolution: A Handbook for Global Permutation-based Combinatorial Optimization (Studies in Computational Intelligence): A Handbook for ... Combinatorial Optimization [With CDROM]: 175
by Godfrey C. Onwubolu, Donald Davendra
ISBN 13: 9783540921509
Format: Hardcover (214 pages) Publisher: Springer Published: 13 Jan 2009
An Introduction to Support Vector Machines and Other Kernel-based Learning Methods
by Nello Cristianini,John Shawe-Taylor
ISBN 13: 9780521780193
Format: Illustrated (204 pages) Publisher: Cambridge University Press Published: 23 Mar 2000
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
Engineering Societies in the Agents World X: 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009, Proceedings: 5881 (Lecture Notes in Computer Science)
by Huib Aldewereld,Virginia Dignum,Gauthier Picard
ISBN 13: 9783642102028
Format: Paperback (276 pages) Publisher: Springer Published: 05 Nov 2009
Statistical Implicative Analysis: Theory and Applications: 127 (Studies in Computational Intelligence)
by Régis Gras, Einoshin Suzuki, Fabrice Guillet, Filippo Spagnolo
ISBN 13: 9783540789826
Format: Hardcover (514 pages) Publisher: Springer Published: 29 Apr 2008
Complexity of Constraints: An Overview of Current Research Themes: 5250 (Lecture Notes in Computer Science)
by Nadia Creignou
ISBN 13: 9783540927990
Format: Paperback (332 pages) Publisher: Springer Published: 13 Feb 2009
Mastering Algorithms with C
by Kyle Loudon
ISBN 13: 9781565924536
Format: Paperback (558 pages) Publisher: O′Reilly Published: 15 Aug 1999
Transforming Organisations Through Groupware: Lotus Notes in Action (Computer Supported Cooperative Work)
by Peter Lloyd
ISBN 13: 9783540199618
Format: Paperback (216 pages) Publisher: Springer London Published: 01 Jan 1996
Artificial Intelligence Applications and Innovations: Proceedings of the 5th IFIP Conference on Artificial Intelligence Applications and Innovations ... in Information and Communication Technology)
by Lazaros Iliadis,Ilias Maglogiannis,Grigorios Tsoumakas
ISBN 13: 9781441902207
Format: Illustrated (560 pages) Publisher: Springer Published: 06 May 2009
Advances in Intelligent Web Mastering - 2: Proceedings of the 6th Atlantic Web Intelligence Conference - AWIC'2009, Prague, Czech Republic, September, ... (Advances in Intelligent and Soft Computing)
by Vaclav Snášel, Ajith Abraham, Piotr S. Szczepaniak
ISBN 13: 9783642106866
Format: Paperback (256 pages) Publisher: Springer Published: 17 Dec 2009