Formal Power Series and Algebraic Combinatorics: 12th International Conference, Fpsac'00, Moscow, Russia, June 2000, Proceedings Formal Power Series and Algebraic Combinatorics: 12th International Conference, Fpsac'00, Moscow, Russia, June 2000, Proceedings
Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks: Broadband Communications, High Performance Networking, and Performance of Communication Networks: 2000: IFIP-TC6/European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings: IFIP-TC6/European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks: Broadband Communications, High Performance Networking, and Performance of Communication Networks: 2000: IFIP-TC6/European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings: IFIP-TC6/European Commission International Conference, Paris, France, May 14-19, 2000, Proceedings
Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
Wissenschaftlicher Briefwechsel Mit Bohr, Einstein, Heisenberg U.a.: 1955-1956 / Scientific Correspondence with Bohr, Einstein, Heisenberg, a.O.: v. 4: Pt. 3: 1955-1956 Wissenschaftlicher Briefwechsel Mit Bohr, Einstein, Heisenberg U.a.: 1955-1956 / Scientific Correspondence with Bohr, Einstein, Heisenberg, a.O.: v. 4: Pt. 3: 1955-1956
Machine Learning: Ecml 2000: 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May, 31 - June 2, 2000 Proceedings Machine Learning: Ecml 2000: 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May, 31 - June 2, 2000 Proceedings
Logic-Based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers Logic-Based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers
Intelligent Tutoring Systems: 5th International Conference, Its 2000, Montreal, Canada, June 19-23, 2000 Proceedings Intelligent Tutoring Systems: 5th International Conference, Its 2000, Montreal, Canada, June 19-23, 2000 Proceedings
Product Focused Software Process Improvement: Second International Conference, Profes 2000, Oulu, Finland, June 20-22, 2000 Proceedings Product Focused Software Process Improvement: Second International Conference, Profes 2000, Oulu, Finland, June 20-22, 2000 Proceedings
Application and Theory of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings Application and Theory of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
Conceptual Structures, Logical, Linguistic, and Computational Issues: 8th International Conference on Conceptual Structures, Iccs 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings Conceptual Structures, Logical, Linguistic, and Computational Issues: 8th International Conference on Conceptual Structures, Iccs 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings
Concur 2000. Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings Concur 2000. Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
Advances in Grid and Pervasive Computing: Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings Advances in Grid and Pervasive Computing: Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
System Analysis and Modeling, Language Profiles: 5th International Workshop, Sam 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers System Analysis and Modeling, Language Profiles: 5th International Workshop, Sam 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
Mining Complex Data: ECML /PKDD 2007 Third International Workshop, MDC 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers Mining Complex Data: ECML /PKDD 2007 Third International Workshop, MDC 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers
Persuasive Technology: Third International Conference, Persuasive 2008, Oulu, Finland, June 4-6, 2008, Proceedings Persuasive Technology: Third International Conference, Persuasive 2008, Oulu, Finland, June 4-6, 2008, Proceedings
Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings
Progress in Cryptology - Vietcrypt 2006: First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers Progress in Cryptology - Vietcrypt 2006: First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers
Declarative Agent Languages and Technologies: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers: v. 4 Declarative Agent Languages and Technologies: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers: v. 4
Requirements Engineering: Foundation for Software Quality: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, Montpellier, France, June 16-17, 2008 - Proceedings Requirements Engineering: Foundation for Software Quality: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, Montpellier, France, June 16-17, 2008 - Proceedings
Combinatorial Pattern Matching: 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 - Proceedings Combinatorial Pattern Matching: 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 - Proceedings
Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
Machine Learning for Multimodal Interaction: Third International Workshop, Mlmi 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers Machine Learning for Multimodal Interaction: Third International Workshop, Mlmi 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers
Frontiers in Algorithmics: Second Annual International Workshop, Faw 2008, Changsha, China, June 19-21, 2008, Proceedings Frontiers in Algorithmics: Second Annual International Workshop, Faw 2008, Changsha, China, June 19-21, 2008, Proceedings