Ihre Suche nach Theoretische Informatik

4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings

8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings

8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings

4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings

8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers

16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings

COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham, UK, September 2007 Revised Selected Papers

4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings

Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings

10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers