Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by
ISBN 13: 9783540733676
Format: Paperback (562 pages) Publisher: Springer Published: 02 Jul 2007
Save for later
Intelligent Data Engineering and Automated Learning - IDEAL 2007: 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540772255
Format: Paperback (1174 pages) Publisher: Springer Published: 10 Dec 2007
Robot Vision: Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, Proceedings (Lecture Notes in Computer Science ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540781561
Format: Paperback (468 pages) Publisher: Springer Published: 11 Feb 2008
Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540790020
Format: Paperback (331 pages) Publisher: Springer Published: 08 Apr 2008
Artificial Neural Networks for the Modelling and Fault Diagnosis of Technical Processes (Lecture Notes in Control and Information Sciences)
by Krzysztof Patan
ISBN 13: 9783540798712
Format: Paperback (228 pages) Publisher: Springer Published: 24 Jun 2008
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings: 5194 (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540859277
Format: Paperback (349 pages) Publisher: Springer Published: 05 Sep 2008
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540851097
Format: Paperback (600 pages) Publisher: Springer Published: 16 Jul 2008
Music, Gestalt, and Computing: Studies in Cognitive and Systematic Musicology (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540635260
Format: Paperback (524 pages) Publisher: Springer Published: 10 Sep 1997
The Social Life of Avatars: Presence and Interaction in Shared Virtual Environments (Computer Supported Cooperative Work)
by Ralph Schroeder
ISBN 13: 9781852334611
Format: Illustrated (240 pages) Publisher: Springer Published: 10 Jan 2002
Computer Music Modeling and Retrieval: International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003, Revised Papers (Lecture Notes in Computer Science)
ISBN 13: 9783540209225
Format: Paperback (247 pages) Publisher: Springer Published: 12 Feb 2004
Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783540899617
Format: Paperback (185 pages) Publisher: Springer Published: 02 Dec 2008
Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642008665
Format: Paperback (343 pages) Publisher: Springer Published: 26 Mar 2009