Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642032509
Format: Paperback (147 pages) Publisher: Springer Published: 20 Jul 2009
Save for later
Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions: COST Action 2102 International Conference Prague, Czech Republic, October ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642033193
Format: Paperback (433 pages) Publisher: Springer Published: 20 Jul 2009
Holonic and Multi-Agent Systems for Manufacturing: 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642036668
Format: Paperback (326 pages) Publisher: Springer Published: 17 Aug 2009
Advances in Robotics: FIRA RoboWorld Congress 2009, Incheon, Korea, August 16-20, 2009, Proceedings (Lecture Notes in Computer Science / Image ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783642039829
Format: Paperback (322 pages) Publisher: Springer Published: 28 Aug 2009
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence: 5th International Conference on Intelligent ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642040191
Format: Paperback (1120 pages) Publisher: Springer Published: 28 Aug 2009
Semantic Methods for Execution-level Business Process Modeling: Modeling Support Through Process Verification and Service Composition (Lecture Notes in Business Information Processing)
by Ingo M. Weber
ISBN 13: 9783642050848
Format: Paperback (292 pages) Publisher: Springer Published: 06 Nov 2009
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)
ISBN 13: 9783642119569
Format: Paperback (632 pages) Publisher: Springer Published: 17 Mar 2010
Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642131929
Format: Paperback (514 pages) Publisher: Springer Published: 07 May 2010
Software Verification and Validation: An Engineering and Scientific Approach
by Marcus S. Fisher
ISBN 13: 9780387327259
Format: Hardcover (172 pages) Publisher: Springer Published: 20 Dec 2006
Persuasive Technology: Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007. ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540770053
Format: Paperback (316 pages) Publisher: Springer Published: 30 Nov 2007
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642006746
Format: Paperback (253 pages) Publisher: Springer Published: 22 Apr 2009
Genetic Programming: 12th European Conference, EuroGP 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642011801
Format: Paperback (363 pages) Publisher: Springer Published: 02 Apr 2009