Research in Cryptology: Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers: 4945 (Lecture Notes in Computer Science / Security and Cryptology)
by
ISBN 13: 9783540883524
Format: Paperback (153 pages) Publisher: Springer Published: 08 Oct 2008
Save for later
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Advances in Artificial Intelligence - IBERAMIA 2008: 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings: 5290 (Lecture Notes in Computer Science)
by Hector Geffner,Rui Prada,Isabel Machado Alexandre,Nuno David
ISBN 13: 9783540883081
Format: Paperback (480 pages) Publisher: Springer Published: 29 Sep 2008
Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642018145
Format: Paperback (341 pages) Publisher: Springer Published: 12 May 2009
Experimental Algorithms: 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642020100
Format: Paperback (293 pages) Publisher: Springer Published: 22 May 2009
Algorithmic Aspects in Information and Management: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642021572
Format: Paperback (327 pages) Publisher: Springer Published: 25 May 2009
Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642022609
Format: Paperback (409 pages) Publisher: Springer Published: 27 May 2009
Engineering Societies in the Agents World IX: 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642025617
Format: Paperback (281 pages) Publisher: Springer Published: 19 Jun 2009
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ... Computer Science and General Issues)
ISBN 13: 9783642027765
Format: Paperback (540 pages) Publisher: Springer Published: 19 Jun 2009
Digital Human Modeling: Second International Conference, ICDHM 2009, Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642028083
Format: Paperback (767 pages) Publisher: Springer Published: 02 Jul 2009
RoboCup 2008: Robot Soccer World Cup XII (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642029202
Format: Paperback (662 pages) Publisher: Springer Published: 24 Jun 2009
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings: 5663 (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642029585
Format: Paperback (504 pages) Publisher: Springer Published: 10 Jul 2009