Conceptual modeling – ER 2000 : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 2000 Q Science
Ab Initio Calculations of Conformational Effects on 13C NMR Spectra of Amorphous Polymers [electronic resource] Q Science
Principles of data mining and knowledge discovery : 4 th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000 : proceedings Q Science
Computer aided verification [electronic resource] : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings Q Science
Interactive Theorem Proving and Program Development [electronic resource] : Coq’Art: The Calculus of Inductive Constructions Q Science
Applications of evolutionary computing : EvoWorkshops 2001 : EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 : proceedings Q Science
Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers Q Science
Advances in knowledge discovery and data mining : 5th Pacific-Asia Conference, PAKDD 2001, Hong Kong, China, April 16-18, 2001 : proceedings Q Science
Parallel problem solving from nature – PPSN VI ; 6th International Conference, Paris, France, September 2000 ; proceedings Q Science
