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
Save for later
Persuasive Technology: Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007. ... Applications, incl. Internet/Web, and HCI)
by
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
Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642016387
Format: Paperback (480 pages) Publisher: Springer Published: 22 Apr 2009
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy: Third International Work-Conference on the ... Computer Science and General Issues)
ISBN 13: 9783642022630
Format: Paperback (530 pages) Publisher: Springer Published: 12 Jun 2009
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642028458
Format: Paperback (564 pages) Publisher: Springer Published: 24 Jun 2009
Intelligent Virtual Agents: 9th International Conference, IVA 2009 Amsterdam, The Netherlands, September 14-16, 2009 Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642043796
Format: Paperback (571 pages) Publisher: Springer Published: 03 Sep 2009
Advances in Information Retrieval Theory: Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642044168
Format: Paperback (386 pages) Publisher: Springer Published: 31 Aug 2009
Semantics in Adaptive and Personalized Services: Methods, Tools and Applications (Studies in Computational Intelligence)
ISBN 13: 9783642116834
Format: Hardcover (400 pages) Publisher: Springer Published: 28 Feb 2010
Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution (Cognitive Systems Monographs)
ISBN 13: 9783642116919
Format: Hardcover (480 pages) Publisher: Springer Published: 04 Jun 2010
Advances in Intelligent Information and Database Systems (Studies in Computational Intelligence)
ISBN 13: 9783642120893
Format: Hardcover (370 pages) Publisher: Springer Published: 09 Apr 2010