نتایج جستجو
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010
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
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2006
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2006
Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
Ekaterina Auer, Andreas Rauh (auth.), Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.), 2008
Advances in Wheat Genetics: From Genome to Field: Proceedings of the 12th International Wheat Genetics Symposium
Yasunari Ogihara, Shigeo Takumi, Hirokazu Handa (eds.), 2015
Advances in Photosynthesis Research: Proceedings of the VIth International Congress on Photosynthesis, Brussels, Belgium, August 1–6, 1983
Dr. Jan M. Anderson (auth.), C. Sybesma (eds.), 1984
Advances in Photosynthesis Research: Proceedings of the VIth International Congress on Photosynthesis, Brussels, Belgium, August 1–6, 1983
Stanisław Wieckowski, Ewa Włoch, Barbara Broniowska (auth.), C. Sybesma (eds.), 1984
Advances in Photosynthesis Research: Proceedings of the VIth International Congress on Photosynthesis, Brussels, Belgium, August 1–6, 1983. Volume IV
John N. Phillips, John L. Huppatz (auth.), C. Sybesma (eds.), 1984
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.), 2011
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.), 2011
The Future of Drylands: International Scientific Conference on Desertification and Drylands Research Tunis, Tunisia, 19-21 June 2006
Nadhir Hamada (auth.), Cathy Lee, Thomas Schaaf (eds.), 2009
Fundamental Aspects of Appropriate Technology: Proceedings of the International Workshop on Appropriate Technology Center for Appropriate Technology Delft University of Technology September 4—7, 1979
J. de Schutter, G. Bemer (auth.), J. de Schutter, G. Bemer (eds.), 1980
International Human Rights Law: Cases, Materials, Commentary
Olivier De Schutter, 2010
Eighth International Mine Ventilation Congress
Gillies, A.D.S., 2005
The Bandit Queen of India: An Indian Woman's Amazing Journey from Peasant to International Legend
Phoolan Devi, Marie-Therese Cuny, Paul Rambali, 2006
Multinationals in A New Era: International Strategy and Management
James H. Taggart, Maureen Berry, Michael McDermott, 2001
Multinationals in a New Era: International Strategy and Management
James H. Taggart, Maureen Berry, Michael McDermott (eds.), 2001
