Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings Q Science
Cryptography and coding : 8th IMA international conference, Cirencester, UK, December 17-19, 2001 : proceedings Q Science
Intelligent planning [electronic resource] : a decomposition and abstraction based approach Q Science
Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings Q Science
Explanatory Item Response Models [electronic resource] : a Generalized Linear and Nonlinear Approach Q Science
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (Eds.). Lecture notes in computer science, 0302-9743 ; 2030 Q Science
Fundamental approaches to software engineering : 4th International Conference, FASE 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings Q Science
Progress in cryptology : INDOCRYPT 2001 : Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001 : proceedings Q Science
Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings Q Science
