Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings

Foundations of Information and Knowledge Systems: First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings

Design and Development of Web Information Systems

Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

Semantics in Data and Knowledge Bases: 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Semantics in Data and Knowledge Bases: 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Semantics in Databases: Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers

Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX: Special Issue on Cloud Computing

Database and Expert Systems Applications: 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part II

Database and Expert Systems Applications: 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part I

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings

Database and Expert Systems Applications: 22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings, Part II

Database and Expert Systems Applications: 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part I

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

Correct Software in Web Applications and Web Services

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings