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)
by
ISBN 13: 9783642226847
Format: Paperback (663 pages) Publisher: Springer Published: 18 Jul 2011
Save for later
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
Artificial Intelligence Applications and Innovations: 12th International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI ... in Information and Communication Technology)
ISBN 13: 9783642239595
Format: Hardcover (517 pages) Publisher: Springer Published: 08 Sep 2011
Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642225994
Format: Paperback (339 pages) Publisher: Springer Published: 18 Jul 2011
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642223587
Format: Paperback (398 pages) Publisher: Springer Published: 06 Jul 2011
Advances in Swarm Intelligence, Part II: Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642215230
Format: Paperback (613 pages) Publisher: Springer Published: 26 May 2011
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)
ISBN 13: 9783642195822
Format: Paperback (207 pages) Publisher: Springer Published: 17 Mar 2011
Algorithm-Architecture Matching for Signal and Image Processing: Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009 (Lecture Notes in Electrical Engineering)
ISBN 13: 9789048199648
Format: Hardcover (307 pages) Publisher: Springer Published: 28 Oct 2010
Euro-Par 2011 Parallel Processing: 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II ... Computer Science and General Issues)
ISBN 13: 9783642233968
Format: Paperback (488 pages) Publisher: Springer Published: 12 Aug 2011 Other Format: Paperback
Artificial Intelligence and Computational Intelligence: Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642238802
Format: Paperback (719 pages) Publisher: Springer Published: 12 Sep 2011
Advances in Computer Science and Education Applications: International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part II (Communications in Computer and Information Science)
ISBN 13: 9783642224553
Format: Paperback (587 pages) Publisher: Springer Published: 30 Jun 2011
Artificial Intelligence and Computational Intelligence: Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642238864
Format: Paperback (736 pages) Publisher: Springer Published: 12 Sep 2011 Other Format: Paperback