نتایج جستجو
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
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.), 2012
Systems, Models and Feedback: Theory and Applications: Proceedings of a U.S.-Italy Workshop in honor of Professor Antonio Ruberti, Capri, 15–17, June 1992
C. Bonivento, C. Melchiorri, R. Zanasi (auth.), Albert Isidori, Tzyh-Jong Tarn (eds.), 1992
Aeronomy of the Middle Atmosphere: Chemistry and Physics of the Stratosphere and Mesosphere
Guy Brasseur, Susan Solomon (auth.), 2005
Aeronomy of the Middle Atmosphere: Chemistry and Physics of the Stratosphere and Mesosphere
Guy Brasseur, Susan Solomon (auth.), 1986
Aeronomy of the Middle Atmosphere: Chemistry and Physics of the Stratosphere and Mesosphere
Guy P. Brasseur, Susan Solomon,, 1984
Farm Planning with Linear Programming: Concept and Practice
J B. Dent, S R Harrison and K B. Woodford (Auth.), 1986
Abraham Lincoln, the Quakers, and the Civil War. A Trial of Principle and Faith
William Kashatus, 2014
Money, and the Law of Attraction: Learning to Attract Wealth, Health, and Happiness
Esther Hicks, Jerry Hicks, 2008
Silk Polymers. Materials Science and Biotechnology
David Kaplan, W. Wade Adams, Barry Farmer, and Christopher Viney (Eds.), 1994
A Primer on Mental Disorders. A Guide for Educators, Families, and Students
Thomas E. Allen,Mayer C. Liebman,Lee Crandall Park, et al.Rowman and Littlefield Publishing Group|Scarecrow Press||Young Adult NonfictionLanguage(s): EnglishOn sale date: 20.09.2013Street date: 20.09.2013, 2013
Cell and Tissue Organization in the Circulatory and Ventilatory Systems
Marc Thiriet (auth.), 2011
Heidegger and the question of psychology : Zollikon and beyond
Heidegger, Martin; Letteri, Mark, 2009
