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
Advances in Unmanned Aerial Vehicles: State of the Art and the Road to Autonomy (Intelligent Systems, Control and Automation: Science and Engineering)
ISBN 13: 9781402061134
Format: Hardcover (543 pages) Publisher: Springer Published: 17 Jul 2007
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, ... Computer Science and General Issues)
ISBN 13: 9783642210693
Format: Paperback (371 pages) Publisher: Springer Published: 20 May 2011
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... Computer Science and General Issues)
ISBN 13: 9783642205507
Format: Paperback (259 pages) Publisher: Springer Published: 02 May 2011
Advances in Knowledge Discovery and Data Mining: 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011, Proceedings, Part I: 15th ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642208409
Format: Paperback (588 pages) Publisher: Springer Published: 09 May 2011
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642209192
Format: Paperback (321 pages) Publisher: Springer Published: 02 May 2011