Artificial Intelligence in Theory and Practice III: Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part ... in Information and Communication Technology)
by
ISBN 13: 9783642152856
Format: Hardcover (251 pages) Publisher: Springer Published: 23 Aug 2010
Save for later
Human-Computer Interaction: Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings ... in Information and Communication Technology)
ISBN 13: 9783642152306
Format: Hardcover (314 pages) Publisher: Springer Published: 23 Aug 2010
From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy)
by Hans Kamp,U. Reyle
ISBN 13: 9780792324034
Format: Hardcover (740 pages) Publisher: Springer Published: 31 Jul 1993
Objects for Concurrent Constraint Programming (The Springer International Series in Engineering and Computer Science)
by Martin Henz
ISBN 13: 9780792380382
Format: Hardcover (200 pages) Publisher: Springer Published: 31 Oct 1997
Information Retrieval: Algorithms and Heuristics (The Springer International Series in Engineering and Computer Science)
by David A. Grossman,Ophir Frieder
ISBN 13: 9780792382713
Format: Hardcover (276 pages) Publisher: Springer Published: 30 Sep 1998 Other Format: Paperback
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)
by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott
ISBN 13: 9783540719403
Format: Paperback (797 pages) Publisher: Springer Published: 20 Jul 2007
Control Problems in Robotics (Springer Tracts in Advanced Robotics)
ISBN 13: 9783540002512
Format: Hardcover (294 pages) Publisher: Springer Published: 04 Dec 2002
Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540210443
Format: Paperback (323 pages) Publisher: Springer Published: 10 Feb 2004
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
ISBN 13: 9780444527264
Format: Hardcover (978 pages) Publisher: Elsevier Science Published: 18 Aug 2006
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006: 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540447078
Format: Paperback (987 pages) Publisher: Springer Published: 21 Sep 2006
Virtual Reality: Second International Conference, ICVR 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540733348
Format: Paperback (762 pages) Publisher: Springer Published: 29 Jun 2007
Neurodynamics of Cognition and Consciousness (Understanding Complex Systems)
ISBN 13: 9783540732662
Format: Hardcover (366 pages) Publisher: Springer Published: 21 Aug 2007