Automated Technology for Verification and Analysis, Fachbücher von Jean-Francois Raskin, Franck Cassez

Automated Technology for Verification and Analysis, Fachbücher von Dang Van Hung, Mizuhito Ogawa

Automated Technology for Verification and Analysis, Fachbücher von Zhiming Liu, Anders P. Ravn

The Semantic Web - ISWC 2013, Fachbücher von Paul Groth, Achille Fokoue, Chris Biemann, Lalana Kagal, Natasha Noy, Harit...

The Semantic Web - ISWC 2013, Fachbücher von Paul Groth, Krzysztof Janowicz, Natasha Noy, Achille Fokoue, Lalana Kagal, ...

Foundations of Information and Knowledge Systems, Fachbücher von Christoph Beierle, Carlo Meghini

Social Robotics, Fachbücher von Mary-Anne Williams, Benjamin Johnston, Michael Beetz

Proceedings of the 12th International Symposium Continuous Surface Mining - Aachen 2014, Fachbücher von Christian Nieman...

Advances in Intelligent Data Analysis XII, Fachbücher von Arno Siebes, Allan Tucker, Frank Höppner

Formal Modeling and Analysis of Timed Systems, Fachbücher von Axel Legay, Marius Bozga

Computer Science - Theory and Applications, Fachbücher von Nikolay K. Vereshchagin, Jean-Éric Pin, Edward A. Hirsch, Ser...

Automated Technology For Verification And Analysis Jean-francois

Jean-francois Raskin (u. A.) | Automated Technology For Verification

Mathematical Morphology and Its Applications to Signal and Image Processing, Fachbücher von Hugues Talbot, Laurent Najma...

MultiMedia Modeling, Fachbücher

Business Process Management, Fachbücher von Pnina Soffer, Shazia Sadiq, Hagen Völzer