Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings: 5663 (Lecture ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642029585
Format: Paperback (504 pages) Publisher: Springer Published: 10 Jul 2009
Save for later
Unified Computational Intelligence for Complex Systems: Studies in Economic, Financial, and Social Dynamics (Adaptation, Learning, and Optimization)
by John Seiffertt,Donald C. Wunsch
ISBN 13: 9783642031793
Format: Hardcover (150 pages) Publisher: Springer Published: 01 Jul 2010
Parallel Computing Technologies: 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings: 5698 ... Computer Science and General Issues)
ISBN 13: 9783642032745
Format: Paperback (476 pages) Publisher: Springer Published: 04 Aug 2009
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science / Security and Cryptology)
ISBN 13: 9783642034589
Format: Paperback (223 pages) Publisher: Springer Published: 03 Sep 2009
Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008 (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783642035517
Format: Paperback (396 pages) Publisher: Springer Published: 21 Sep 2009
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
ISBN 13: 9783540749837
Format: Paperback (289 pages) Publisher: Springer Published: 06 Sep 2007
Large-Scale Scientific Computing: 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540788256
Format: Paperback (755 pages) Publisher: Springer Published: 28 Mar 2008
Object-Oriented Technology. ECOOP 2007 Workshop Reader: ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports (Lecture Notes in ... / Programming and Software Engineering)
ISBN 13: 9783540781943
Format: Paperback (204 pages) Publisher: Springer Published: 26 Feb 2008
Rationale Management in Software Engineering
ISBN 13: 9783540309970
Format: Hardcover (432 pages) Publisher: Springer Published: 05 Apr 2006
Data Mining for Biomedical Applications: PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783540331049
Format: Paperback (163 pages) Publisher: Springer Published: 23 Mar 2006
Programming Multi-Agent Systems: Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540790426
Format: Paperback (267 pages) Publisher: Springer Published: 29 Apr 2008
Fundamentals of Relational Database Management Systems (Studies in Computational Intelligence)
by S. Sumathi,S. Esakkirajan
ISBN 13: 9783540483977
Format: Hardcover (804 pages) Publisher: Springer Published: 13 Feb 2007