Catalogo · 9783030320645
Model and Data Engineering
ISBN 9783030320645
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Semantics in Data and Knowledge Bases
Klaus-Dieter Schewe
Hagenberg Business Process Modelling Method
Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Freudenthaler, Theodorich Kopetzky, Klaus-Dieter Schewe
Foundations of information and knowledge systems
Klaus-Dieter Schewe, Bernhard Thalheim, Gerhard Goos, Juris Hartmanis
Correct Software in Web Applications and Web Services
Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamine Ait Ameur, Klaus-Dieter Schewe
A Rigorous Semantics for BPMN 2.0 Process Diagrams
Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe
Transactions on Large-Scale Data- and Knowledge-Centered Systems X
Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou
Semantics in databases
Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
ABZ 2014 : The Landing Gear Case Study
Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
Abdelkader Hameurlain, Josef Küng, Roland Wagner, Klaus-Dieter Schewe, Karoly Bosa
Logic, Computation and Rigorous Methods
Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
Verba volant · scripta manent