Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers: 7th ... / Programming and Software Engineering)
by
ISBN 13: 9783642195884
Format: Paperback (199 pages) Publisher: Springer Published: 31 Mar 2011
Save for later
Advances in Intelligent Data Analysis IX: 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642130618
Format: Paperback (273 pages) Publisher: Springer Published: 04 May 2010
Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I ... Computer Science and General Issues)
ISBN 13: 9783642233999
Format: Paperback (631 pages) Publisher: Springer Published: 12 Aug 2011 Other Format: Paperback
Contemporary Computing: 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings (Communications in Computer and Information Science)
ISBN 13: 9783642226052
Format: Paperback (582 pages) Publisher: Springer Published: 06 Jul 2011
Computational Intelligence Methods for Bioinformatics and Biostatistics: 7th International Meeting, CIBIB 2010, Palermo, Italy, September 16-18, 2010, ... Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783642219450
Format: Paperback (301 pages) Publisher: Springer Published: 18 Jul 2011
A Hybrid Deliberative Layer for Robotic Agents: Fusing DL Reasoning with HTN Planning in Autonomous Robots (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Ronny Hartanto
ISBN 13: 9783642225796
Format: Paperback (237 pages) Publisher: Springer Published: 18 Jul 2011
Algorithms in Bioinformatics: 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783642230370
Format: Paperback (378 pages) Publisher: Springer Published: 30 Aug 2011
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783642229527
Format: Paperback (386 pages) Publisher: Springer Published: 09 Aug 2011
Multiple Classifier Systems: 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings (Lecture Notes in Computer Science / ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783642215568
Format: Paperback (384 pages) Publisher: Springer Published: 14 Jun 2011
Evolutionary Computing: AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers (Lecture Notes in Computer Science)
ISBN 13: 9783540584834
Format: Paperback (344 pages) Publisher: Springer Published: 28 Sep 1994
Computing and Combinatorics: 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642226847
Format: Paperback (663 pages) Publisher: Springer Published: 18 Jul 2011
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
ISBN 13: 9780857298072
Format: Hardcover (433 pages) Publisher: Springer Published: 16 Jul 2011