SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings Q Science
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings Q Science
Advances in artificial intelligence : international joint conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, proceedings Q Science
Binary stars : selected topics on observations and physical processes : lectures held at the Astrophysics School XII, organized by the European Astrophysics Doctoral Network (EADN) in La Laguna, Tenerife, Spain, 6-17 September 1999 Q Science
Algorithmic learning theory : 11th international conference, ALT 2000 Sydney, Australia, December 11-13, 2000, proceedings Q Science
Classification and data analysis : theory and application : proceedings of the biannual meeting of the Classification Group of Società Italia di Statistica (SIS), Pescara, July 3-4, 1997 Q Science
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings Q Science
Languages, compilers, and run-time systems for scalable computers : 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers Q Science
Advances in multimodal interfaces — ICMI 2000 : third international conference, Beijing, China, October 14-16, 2000 : proceedings Q Science
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning [electronic resource] Q Science
Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings Q Science
