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

Published 2014

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

Published 2016

Correct Software in Web Applications and Web Services

Published 2015

New Trends in Databases and Information Systems : ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings

Published 2016

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

Published 2021

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

Published 2016

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

Published 2019

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

Published 2011

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

Published 2011

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

Published 2011

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

Published 2013

Design and Development of Web Information Systems

by Schewe, Klaus-Dieter, Thalheim, Bernhard
Published 2019