Fundamentals of Information Systems: 496 (The Springer International Series in Engineering and Computer Science)
by Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe
ISBN 13: 9780792384502
Format: Hardcover (200 pages) Publisher: Springer Published: 28 Feb 1999
Save for later
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings: 9675 (Lecture Notes in Computer Science)
by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
ISBN 13: 9783319335995
Format: Paperback (448 pages) Publisher: Springer Published: 23 May 2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)
by Yamine Ait Ameur, Klaus-Dieter Schewe
ISBN 13: 9783662436516
Format: Paperback (352 pages) Publisher: Springer Published: 21 May 2014
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 ... in Computer and Information Science)
by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
ISBN 13: 9783319075112
Format: Paperback (176 pages) Publisher: Springer Published: 26 May 2014
Design and Development of Web Information Systems
by Klaus-Dieter Schewe, Bernhard Thalheim
ISBN 13: 9783662588222
Format: Hardcover (612 pages) Publisher: Springer Published: 09 May 2019
Semantics in Data and Knowledge Bases: 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers: 7693 (Lecture Notes in Computer Science)
ISBN 13: 9783642360077
Format: Paperback (212 pages) Publisher: Springer Published: 08 Jan 2013
Correct Software in Web Applications and Web Services (Texts & Monographs in Symbolic Computation)
by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
ISBN 13: 9783319347271
Format: Paperback (348 pages) Publisher: Springer Published: 09 Oct 2016