Cooperative information systems : 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000 : proceedings Q Science
Computer security–ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings Q Science
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings Q Science
Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings Q Science
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings Q Science
Implementation of functional languages : 11th international workshop, IFL’99, Lochem, the Netherlands, September 7-10, 1999 : selected papers Q Science
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings Q Science
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings Q Science
Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings Q Science
Algorithmic number theory : 4th international symposium, ANTS-IV, Leiden, the Netherlands, July 2-7, 2000 : proceedings Q Science
Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings Q Science
