Klaus-Dieter Schewe – författare
Visar alla böcker från författaren Klaus-Dieter Schewe. Handla med fri frakt och snabb leverans.
60 produkter
Fundamentals of Information Systems
Av Torsten Polle, Torsten Ripke m. fl.
Inbunden, 1999
1131 kr
Lägg i varukorg
Contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory: identification as a primitive of database models; …
Fundamentals of Information Systems
Av Torsten Polle, Torsten Ripke m. fl.
Häftad, 2012
1127 kr
Lägg i varukorg
Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory: identification …
Fundamentals of Information Systems
Av Klaus-Dieter Schewe, Torsten Ripke m. fl.
E-bok, 2012
1502 kr
Lägg i varukorg
Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO ''98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory: identification …
Model and Data Engineering
9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Av Klaus-Dieter Schewe, Neeraj Kumar Singh
Häftad, 2019
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019.The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers …
Model and Data Engineering
9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Av Neeraj Kumar Singh, Klaus-Dieter Schewe
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019. The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers …
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Av Alexander Raschke, Elvinia Riccobene m. fl.
Häftad, 2021
567 kr
Lägg i varukorg
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are …
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Av Klaus-Dieter Schewe, Elvinia Riccobene m. fl.
E-bok, 2021
734 kr
Lägg i varukorg
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger''s inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger''s research interests are …
Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
Av Alexander Raschke, Elvinia Riccobene m. fl.
Häftad, 2026
746 kr
Kommande
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages …
Rigorous Methods in Theory and Practice
Essays Dedicated to Egon Borger on the Occasion of His 80th Birthday
Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.
E-bok, 2026
1007 kr
Lägg i varukorg
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages …
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
Av Frederic Boniol, Virginie Wiels m. fl.
Häftad, 2014
567 kr
Lägg i varukorg
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also …
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
Av Klaus-Dieter Schewe, Yamine Ait Ameur m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also …
Rigorous Semantics for BPMN 2.0 Process Diagrams
Av Felix Kossak, Christa Illibauer m. fl.
Inbunden, 2015
551 kr
Lägg i varukorg
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of …
Rigorous Semantics for BPMN 2.0 Process Diagrams
Av Klaus-Dieter Schewe, Bernhard Freudenthaler m. fl.
E-bok, 2015
718 kr
Lägg i varukorg
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of …
Correct Software in Web Applications and Web Services
Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.
Inbunden, 2015
551 kr
Lägg i varukorg
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common …
Correct Software in Web Applications and Web Services
Av Bruno Buchberger, Andreas Prinz m. fl.
E-bok, 2015
732 kr
Lägg i varukorg
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common …
Hagenberg Business Process Modelling Method
Av Felix Kossak, Christa Illibauer m. fl.
Inbunden, 2016
1127 kr
Lägg i varukorg
This book presents a proposal for designing business process management (BPM) systems that comprise much more than just process modelling.Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been …
Hagenberg Business Process Modelling Method
Av Klaus-Dieter Schewe, Theodorich Kopetzky m. fl.
E-bok, 2016
1459 kr
Lägg i varukorg
This book presents a proposal for designing business process management (BPM) systems that comprise much more than just process modelling. Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been …
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Av Michael Butler, Klaus-Dieter Schewe m. fl.
Häftad, 2016
567 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They …
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Av Miklos Biro, Atif Mashkoor m. fl.
E-bok, 2016
732 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They …
Correct Software in Web Applications and Web Services
Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.
Häftad, 2016
567 kr
Lägg i varukorg
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common …
Rigorous Semantics for BPMN 2.0 Process Diagrams
Av Felix Kossak, Christa Illibauer m. fl.
Häftad, 2016
551 kr
Lägg i varukorg
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of …
New Trends in Databases and Information Systems
ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings
Av Mirjana Ivanović, Bernhard Thalheim m. fl.
Häftad, 2016
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed short papers, workshops and Doctoral Consortium papers of the 20th East European Conference on Advances in Databases and Information Systems, ADBIS 2016, held in Prague, Czech Republic, in August 2016.The 11 short papers and one historical paper were …
New Trends in Databases and Information Systems
ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings
Av Pietro Michiardi, Elena Baralis m. fl.
E-bok, 2016
732 kr
Lägg i varukorg
This book constitutes the thoroughly refereed short papers, workshops and Doctoral Consortium papers of the 20th East European Conference on Advances in Databases and Information Systems, ADBIS 2016, held in Prague, Czech Republic, in August 2016. The 11 short papers and one historical paper were …
Hagenberg Business Process Modelling Method
Av Felix Kossak, Christa Illibauer m. fl.
Häftad, 2018
1127 kr
Lägg i varukorg
This book presents a proposal for designing business process management (BPM) systems that comprise much more than just process modelling.Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been …
Semantics in Databases
Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
Av Leopoldo Bertossi, Gyula O.H. Katona m. fl.
Häftad, 2003
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during …
Semantics in Databases
Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
Av Bernhard Thalheim, Klaus-Dieter Schewe m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001. The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during …
Foundations of Information and Knowledge Systems
Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings
Av Thomas Eiter, Klaus-Dieter Schewe
Häftad, 2002
567 kr
Lägg i varukorg
This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information …
Foundations of Information and Knowledge Systems
Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings
Av Klaus-Dieter Schewe, Thomas Eiter
E-bok, 2003
755 kr
Lägg i varukorg
This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information …
Foundations of Information and Knowledge Systems
First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings
Av Bernhard Thalheim, Klaus-Dieter Schewe
E-bok, 2003
755 kr
Lägg i varukorg
Foundations of Information and Knowledge Systems
First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings
Av Klaus-Dieter Schewe, Bernhard Thalheim
Häftad, 2000
567 kr
Lägg i varukorg
This volume contains the papers presented at the \First International Sym- sium on Foundations of Information and Knowledge Systems" (FoIKS 2000), which was held in Burg, Germany from February 14th to 17th, 2000. FoIKSis intendedto beabiannualeventfocussingontheoreticalfoundations …
