نتایج جستجو
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Abraham Ibn Esras langer Kommentar zum Buch Exodus
Abraham Ibn Esra, Dirk U. Rottzoll, 1999
Biochemistry and Molecular Biology
Dirk Hoffmeister (eds.), 2016
A Systems Description of Flow Through Porous Media
Jan Dirk Jansen (auth.), 2013
Advanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes
S. Isaacs, H. Søeberg (auth.), Jan F. M. Van Impe, Peter A. Vanrolleghem, Dirk M. Iserentant (eds.), 1998
Airway Chemoreceptors in Vertebrates
Giacomo Zaccone, Ernest Cutz, Dirk Adriaensen, 2009
Farbe und Konstitution anorganischer Feststoffe (Pigmente): I. Über die Lichtabsorption des zweiwertigen Kobalts nach isomorphem Einbau in oxidische Wirtsgitter
Prof. Dr. Otto Schmitz-Du Mont, Dr. Hedwig Brokopf, Dr. Klaus Burkhardt, Dipl.-Chem. Claus Friebel, Dr. Mahmoud Hassanein, Dr. Heinrich Lange, Dr. Dirk Reinen (auth.), 1964
Data Visualization: The State of the Art
Dirk Bartz, Michael Meißner, Gordon Müller (auth.), Frits H. Post, Gregory M. Nielson, Georges-Pierre Bonneau (eds.), 2003
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock (auth.), 2012
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock, 2012
Analysis of Controlled Dynamical Systems: Proceedings of a Conference held in Lyon, France, July 1990
Dirk Aeyels (auth.), Bernard Bonnard, Bernard Bride, Jean-Paul Gauthier, Ivan Kupka (eds.), 1991
The Land of Stevin and Huygens: A Sketch of Science and Technology in the Dutch Republic during the Golden Century
Dirk J. Struik (auth.), 1981
Broadband Communications, Networks, and Systems: 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers
Nikos Fotiou, Pekka Nikander, Dirk Trossen, George C. Polyzos (auth.), Ioannis Tomkos, Christos J. Bouras, Georgios Ellinas, Panagiotis Demestichas, Prasun Sinha (eds.), 2012
Enterprise Architecture, BPM und SOA für Business-Analysten: Leitfaden für die Praxis
Dirk Stähler, Ingo Meier, Rolf Scheuch, Christian Schmülling, Daniel Somssich
Extracranial Stereotactic Radiotherapy and Radiosurgery
Ben J. Slotman, Timothy D. Solberg, Dirk Verellen, 2005
Angela Merkel: Die Kanzlerin für alle?
Dirk Kurbjuweit, 2009
