Susanne Graf

· 14 obras en el catálogo

Obras

Automated technology for verification and analysis

Formal methods for components and objects

Formal methods for components and objects

Formal methods for components and objects

Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures

Models, Mindsets, Meta : The What, the How, and the Why Not?

VVerdachts- und ereignisunabhängige Personenkontrollen

Verdachts- und ereignisunabhängige Personenkontrollen

FFormal Techniques for Distributed Objects, Components, and S

Formal Techniques for Distributed Objects, Components, and Systems

TTools and Algorithms for the Construction and Analysis of Sy

Tools and Algorithms for the Construction and Analysis of Systems

MModel Checking Software

Model Checking Software

HHeimatklänge

Heimatklänge

WWir vom Jahrgang 1978 - Kindheit und Jugend

Wir vom Jahrgang 1978 - Kindheit und Jugend

RReal Time and Such

Real Time and Such

NNutritive Knochenveränderungen bei Frühgeborenen mit einem G

Nutritive Knochenveränderungen bei Frühgeborenen mit einem Geburtsgewicht von unter 1250 g