Logic, Computation and Rigorous Methods, Fachbücher von Alexander Raschke, Klaus-Dieter Schewe, Elvinia Riccobene

Rigorous State-Based Methods, Fachbücher von Dominique Méry, Alexander Raschke, Frank Houdek

A Rigorous Semantics for BPMN 2.0 Process Diagrams, Fachbücher von Klaus-Dieter Schewe, Christine Natschläger, Thomas Zi...

Semantics in Data and Knowledge Bases, Fachbücher von Bernhard Thalheim, Klaus-Dieter Schewe

Logic, Computation And Rigorous Methods Essays Dedicated To Egon

Model and Data Engineering, Fachbücher von Klaus-Dieter Schewe, Neeraj Kumar Singh

Logic, Language and Computation, Fachbücher

Logic, Meaning and Computation, Fachbücher

Klaus-dieter Schewe (u. A.) | Foundations Of Information And Knowledge

Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher von Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, M...

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX, Fachbücher von Josef Küng, Klaus-Dieter Schewe, Ka...

Puzzles in Logic, Languages and Computation, Fachbücher von Dragomir Radev

Stable and Efficient Rigorous Fourier Methods, Fachbücher von Wolfgang Iff

Reinforcement Learning, Logic and Evolutionary Computation, Fachbücher von Drew Mellor

New Directions in Logic, Language, and Computation, Fachbücher von Marija Slavkovik, Daniel Lassiter

Klaus-dieter Schewe (u. A.) | Abstract State Machines, Alloy, B, Tla,