نتایج جستجو
برای Eds.، صفحه ۴۵۱ از ۱,۵۵۹ در بین ۳۸,۹۵۵ کتاب.
PDF
Acute Cholecystitis
Soumitra R. Eachempati, R. Lawrence Reed, II (eds.), 2015PDF
Advances in Psychology and Law: Volume 1
Monica K. Miller, Brian H. Bornstein (eds.), 2016PDF
Multivariate Statistical Methods in Physical Anthropology: A Review of Recent Advances and Current Developments
W. W. Howells (auth.), G. N. Van Vark, W. W. Howells (eds.), 1984PDF
Topological and Statistical Methods for Complex Data: Tackling Large-Scale, High-Dimensional, and Multivariate Data Spaces
Janine Bennett, Fabien Vivodtzev, Valerio Pascucci (eds.), 2015PDF
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.), 2001PDF
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.), 2012PDF
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
PDF
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2009PDF
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.), 2010PDF
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.), 2010PDF
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.), 2010PDF
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.), 2010PDF
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.), 2010PDF
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.), 2012PDF
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.), 2006PDF
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.), 2006PDF
Process Design for Natural Scientists: An Agile Model-Driven Approach
Anna-Lena Lamprecht, Tiziana Margaria (eds.), 2014PDF
Semantic Web Services Challenge: Results from the First Year
Charles Petrie (auth.), Charles Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba (eds.), 2009PDF
5th Conference on Optimization Techniques Part I
A. V. Balakrishnan (auth.), R. Conti, A. Ruberti (eds.), 1973PDF
5th Conference on Optimization Techniques Part II
D. Bayliss (auth.), R. Conti, A. Ruberti (eds.), 1973PDF
Distributed Parameter Systems: Modelling and Identification: Proceedings of the IFIP Working Conference Rome, Italy, June 21–24, 1976
A. V. Balakrishnan (auth.), Prof. Dr. Antonio Ruberti (eds.), 1978PDF
Models of the Visual System
Jeffrey W. Ruberti Ph.D., Stephen D. Klyce Ph.D. (auth.), George K. Hung, Kenneth J. Ciuffreda (eds.), 2002PDF
Recent Developments in Variable Structure Systems, Economics and Biology: Proceedings of US-Italy Seminar, Taormina, Sicily, August 29 – September 2, 1977
P. d’Alessandro (auth.), Prof. Dr. R. R. Mohler, Prof. Dr. A. Ruberti (eds.), 1978PDF
