Klaus-Dieter Schewe الكتب

Database and Expert Systems Applications Database and Expert Systems Applications
Database and Expert Systems Applications
٢٠١١
Logic, Computation and Rigorous Methods Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
٢٠٢١
Model and Data Engineering Model and Data Engineering
Model and Data Engineering
٢٠١٩
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
٢٠١٦
New Trends in Databases and Information Systems New Trends in Databases and Information Systems
New Trends in Databases and Information Systems
٢٠١٦
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
٢٠١٦
Correct Software in Web Applications and Web Services Correct Software in Web Applications and Web Services
Correct Software in Web Applications and Web Services
٢٠١٥
A Rigorous Semantics for BPMN 2.0 Process Diagrams A Rigorous Semantics for BPMN 2.0 Process Diagrams
A Rigorous Semantics for BPMN 2.0 Process Diagrams
٢٠١٥
Conceptual Modeling - ER 2007 Conceptual Modeling - ER 2007
Conceptual Modeling - ER 2007
٢٠٠٧
Semantics in Data and Knowledge Bases Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
٢٠١١
Semantics in Data and Knowledge Bases Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
٢٠٠٨
Web Information Systems Engineering - WISE 2008 Web Information Systems Engineering - WISE 2008
Web Information Systems Engineering - WISE 2008
٢٠٠٨