کتاب های Ina Schaefer (auth.)
کتاب های نویسنده
صفحه ۱ از ۱۰ در بین ۲۲۸ کتاب.
PDF
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012PDF
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012PDF
Eternal Systems: First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers
Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen (auth.), Alessandro Moschitti, Riccardo Scandariato (eds.), 2012PDF
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014PDF
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014PDF
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer, 2014
PDF
Software Reuse for Dynamic Systems in the Cloud and Beyond: 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Ina Schaefer, Ioannis Stamelos (eds.), 2014PDF
Intelligent Computational Optimization in Engineering: Techniques and Applications
Lars Nolle, Mario Köppen, Gerald Schaefer, Ajith Abraham (auth.), Mario Köppen, Gerald Schaefer, Ajith Abraham (eds.), 2011PDF
VDI-Lexikon Energietechnik
Prof. Dr.-Ing. Dr.-Ing. E.h. Helmut Schaefer (auth.), Prof. Dr.-Ing. Dr.-Ing. E.h. Helmut Schaefer (eds.), 1994PDF
Animal Behaviour: Evolution and Mechanisms
H. Martin Schaefer (auth.), Peter Kappeler (eds.), 2010PDF
Vestibular System Part 2: Psychophysics, Applied Aspects and General Interpretations
A. J. Benson, N. Bischof, W. E. Collins, A. R. Fregly, A. Graybiel, F. E. Guedry, W. H. Johnson, L. B. W. Jongkees, H. H. Kornhuber, R. Mayne, D. L. Meyer, E. Peitersen, W. Precht, K. P. Schaefer (auth.), H. H. Kornhuber (eds.), 1974PDF
Advances in Geometric Modeling and Processing: 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings
Maxim Aizenshtein, Michael Bartoň (auth.), Bernard Mourrain, Scott Schaefer, Guoliang Xu (eds.), 2010PDF
Acute Ischemic Stroke: Imaging and Intervention
Aneesh B. Singhal, Eng H. Lo, Turgay Dalkara, Michael A. Moskowitz (auth.), R. Gilberto González, Joshua A. Hirsch, Michael H. Lev, Pamela W. Schaefer, Lee H. Schwamm (eds.), 2011PDF
Acute Ischemic Stroke: Imaging and Intervention
Aneesh B. Singhal, Eng H. Lo, Turgay Dalkara, Michael A. Moskowitz (auth.), R. Gilberto González, Joshua A. Hirsch, W.J. Koroshetz, Michael H. Lev, Pamela W. Schaefer (eds.), 2006PDF
Applications of Electronic Structure Theory
J. A. Pople (auth.), Henry F. Schaefer III (eds.), 1977PDF
Applied Quantum Chemistry: Proceedings of the Nobel Laureate Symposium on Applied Quantum Chemistry in Honor of G. Herzberg, R. S. Mulliken, K. Fukui, W. Lipscomb, and R. Hoffman, Honolulu, HI, 16–21 December 1984
Kenichi Fukui (auth.), Vedene H. Smith Jr., Henry F. Schaefer III, Keiji Morokuma (eds.), 1986PDF
Methods of Electronic Structure Theory
Thom. H. Dunning Jr., P. Jeffrey Hay (auth.), Henry F. Schaefer III (eds.), 1977PDF
Multimedia Analysis, Processing and Communications
William Plant, Gerald Schaefer (auth.), Weisi Lin, Dacheng Tao, Janusz Kacprzyk, Zhu Li, Ebroul Izquierdo, Haohong Wang (eds.), 2011PDF
Environmental Education: Principles, Methods, and Applications
Gerhard Schaefer (auth.), Trilochan S. Bakshi, Zev Naveh (eds.), 1980PDF
Soft Computing in Industrial Applications: Algorithms, Integration, and Success Stories
Cristina Teixeira, José Covas, Thomas Stützle, António Gaspar-Cunha (auth.), Xiao-Zhi Gao, António Gaspar-Cunha, Mario Köppen, Gerald Schaefer, Jun Wang (eds.), 2010PDF
Application of Muscle/Nerve Stimulation in Health and Disease
Gerta Vrbová, Olga Hudlicka, Kristin Schaefer Centofanti (auth.), 2008PDF
Advances in Geometric Modeling and Processing: 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings
Maxim Aizenshtein, Michael Bartoň (auth.), Bernard Mourrain, Scott Schaefer, Guoliang Xu (eds.), 2010PDF
Advances in Geometric Modeling and Processing: 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings
Maxim Aizenshtein, Michael Bartoň (auth.), Bernard Mourrain, Scott Schaefer, Guoliang Xu (eds.), 2010PDF
