Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2014
  • Author: Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe (eds.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Yamine Ait Ameur, Klaus-Dieter Schewe (eds.)
Transactions on Large-Scale Data- and Knowledge-Centered Systems X: Special Issue on Database- and Expert-Systems Applications
  • PDF
  • English
  • Year: 2013
  • Author: Idir Ait-Sadoune, Yamine Ait-Ameur (auth.), Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou (eds.)
Semantics in Data and Knowledge Bases: 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Klaus-Dieter Schewe, Bernhard Thalheim (auth.), Klaus-Dieter Schewe, Bernhard Thalheim (eds.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (eds.)
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Yamine Aït-Ameur, Florin Crăciun
Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Klaus-Dieter Schewe, Neeraj Kumar Singh
Database and Expert Systems Applications: 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings, Part I
  • PDF
  • English
  • Year: 2011
  • Author: Patrick Valduriez (auth.), Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou (eds.)
Geschichte der sozialen und privaten Versicherung im Mittelalter in den Gilden Europas
  • PDF
  • German
  • Year: 2000
  • Author: Schewe, Dieter
Database and Expert Systems Applications: 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Pantelis Aravogliadis, Vasilis Vassalos (auth.), Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou (eds.)
search