Ihre Suche nach Theoretische Informatik

6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings

8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008, Proceedings

7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings

14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings

11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Next Generation Learning-Base System Development

11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings

International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I

International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II

A Partial-Order Approach to Model Checking

Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings