Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Steffen reset filtrov +
Autor: Steffen Global Change and the Earth System Steffen 2005 Challenges of a Changing Earth Steffen 2003 Tools and Algorithms for the Construction and Analysis of Systems Steffen 1998 Verification, Model Checking, and Abstract Interpretation Steffen 2004 Formal Methods for Open Object-Based Distributed Systems Steffen 2005 Control Reconfiguration of Dynamical Systems Steffen 2005 6 knižných titulov