|
|
|
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
|
