|
|
|
ABZ 2014: The Landing Gear Case Study [electronic resource] : 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 / edited by Fr�ed�eric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe.
by Boniol, Fr�ed�eric [editor.] | Wiels, Virginie [editor.] | Ait Ameur, Yamine [editor.] | Schewe, Klaus-Dieter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
New Trends in Databases and Information Systems [electronic resource] : ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings / edited by Mirjana Ivanović, Bernhard Thalheim, Barbara Catania, Klaus-Dieter Schewe, Mārīte Kirikova, Petr Šaloun, Ajantha Dahanayake, Tania Cerquitelli, Elena Baralis, Pietro Michiardi.
by Ivanović, Mirjana [editor.] | Thalheim, Bernhard [editor.] | Catania, Barbara [editor.] | Schewe, Klaus-Dieter [editor.] | Kirikova, Mārīte [editor.] | Šaloun, Petr [editor.] | Dahanayake, Ajantha [editor.] | Cerquitelli, Tania [editor.] | Baralis, Elena [editor.] | Michiardi, Pietro [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems X [electronic resource] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe.
by Ait Ameur, Yamine [editor.] | Schewe, Klaus-Dieter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX [electronic resource] : Special Issue on Cloud Computing / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Klaus-Dieter Schewe, Karoly Bosa.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Schewe, Klaus-Dieter [editor.] | Bosa, Karoly [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Semantics in Data and Knowledge Bases [electronic resource] : 5th International Workshop, SDKB 2011, Z�urich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim.
by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Hagenberg Business Process Modelling Method [electronic resource] / by Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschl�ager, Thomas Ziebermayr, Bernhard Freudenthaler, Theodorich Kopetzky, Klaus-Dieter Schewe.
by Kossak, Felix [author.] | Illibauer, Christa [author.] | Geist, Verena [author.] | Natschl�ager, Christine [author.] | Ziebermayr, Thomas [author.] | Freudenthaler, Bernhard [author.] | Kopetzky, Theodorich [author.] | Schewe, Klaus-Dieter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Correct Software in Web Applications and Web Services [electronic resource] / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger.
by Thalheim, Bernhard [editor.] | Schewe, Klaus-Dieter [editor.] | Prinz, Andreas [editor.] | Buchberger, Bruno [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
A Rigorous Semantics for BPMN 2.0 Process Diagrams [electronic resource] / by Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschl�ager, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe.
by Kossak, Felix [author.] | Illibauer, Christa [author.] | Geist, Verena [author.] | Kubovy, Jan [author.] | Natschl�ager, Christine [author.] | Ziebermayr, Thomas [author.] | Kopetzky, Theodorich [author.] | Freudenthaler, Bernhard [author.] | Schewe, Klaus-Dieter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings, Part II / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou.
by Hameurlain, Abdelkader [editor.] | Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Model and Data Engineering [electronic resource] : 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings / edited by Klaus-Dieter Schewe, Neeraj Kumar Singh.
by Schewe, Klaus-Dieter [editor.] | Singh, Neeraj Kumar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.
by Raschke, Alexander [editor.] | Riccobene, Elvinia [editor.] | Schewe, Klaus-Dieter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe.
by Düsterhöft, Antje [editor.] | Klettke, Meike [editor.] | Schewe, Klaus-Dieter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Conceptual Modeling - ER 2007 [electronic resource] : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings / edited by Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim.
by Parent, Christine [editor.] | Schewe, Klaus-Dieter [editor.] | Storey, Veda C [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Semantics in Data and Knowledge Bases [electronic resource] : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim.
by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe.
by Ait Ameur, Yamine [editor.] | Schewe, Klaus-Dieter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part II / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou.
by Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Tjoa, A Min [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Semantics in Data and Knowledge Bases [electronic resource] : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim.
by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
