نتایج جستجو
![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](http://cdn.ketabkoo.com/covers/1/143377-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/143378-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/143629-n.jpg)
Abraham Ibn Esras langer Kommentar zum Buch Exodus
Abraham Ibn Esra, Dirk U. Rottzoll, 1999![Biochemistry and Molecular Biology](http://cdn.ketabkoo.com/covers/1/150159-n.jpg)
Biochemistry and Molecular Biology
Dirk Hoffmeister (eds.), 2016![A Systems Description of Flow Through Porous Media](http://cdn.ketabkoo.com/covers/1/152501-n.jpg)
A Systems Description of Flow Through Porous Media
Jan Dirk Jansen (auth.), 2013![Advanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes](http://cdn.ketabkoo.com/covers/1/153898-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/154017-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/155486-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/156155-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/158302-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/158303-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/161874-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/163614-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/167724-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/169574-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/169654-n.jpg)
Extracranial Stereotactic Radiotherapy and Radiosurgery
Ben J. Slotman, Timothy D. Solberg, Dirk Verellen, 2005![Angela Merkel: Die Kanzlerin für alle?](http://cdn.ketabkoo.com/covers/1/172622-n.jpg)
Angela Merkel: Die Kanzlerin für alle?
Dirk Kurbjuweit, 2009![The physics of quantum information: quantum cryptography, teleportation, computation](http://cdn.ketabkoo.com/covers/1/175043-n.jpg)