Stochastic Model Checking, Fachbücher von Mariëlle Stoelinga, Anne Remke

Stochastic Model Checking International Autumn School, Rocks 2012,

Formal Methods for Executable Software Models, Fachbücher

Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Herbert Wiklicky, Marco Bernardo, Alessandra Di Pierr...

Formal Methods for Multicore Programming, Fachbücher

Geometria proiettivo-differenziale, Fachbücher von E. Bompiani

Magnetofluidodinamica, Fachbücher von G. Agostinelli

Software Engineering, Fachbücher

Domain Modeling and the Duration Calculus, Fachbücher

Stochastic Algorithms: Foundations and Applications, Fachbücher von Thomas

Reasoning Web. Semantic Technologies for Information Systems, Fachbücher von Renate Schmidt, Siegfried Handschuh, Enrico...

Dynamic Brain - from Neural Spikes to Behaviors, Fachbücher von Maria Marinaro, Silvia Scarpetta, Yoko Yamaguchi

Model Checking Software, Fachbücher von Bernd Fischer

Economia Matematica, Fachbücher von Bruno De Finetti

New Variational Techniques in Mathematical Physics, Fachbücher von G. Stampacchia, Gianfranco Capriz

Ad Hoc Networks, Fachbücher von Nathalie Mitton, Jun Zhi-zhong