Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings Q Science
Transport and energy conversion in the heliosphere : lectures given at the CNRS summer school on solar astrophysics, Oleron, France, 25-29 May 1998 Q Science
Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers Q Science
Xenotransplantation [electronic resource] : the Transplantation of Organs and Tissues Between Species Q Science
Machine learning : ECML 2000 : 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31-June 2, 2000 Q Science
Natural language processing – NLP 2000 : Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings Q Science
Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings Q Science
The message of the atoms [electronic resource] : essays on Wolfgang Pauli and the unspeakable Q Science
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings Q Science
Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings Q Science
