کتاب های Ina Schaefer
کتاب های نویسنده
صفحه ۱ از ۱۰ در بین ۲۲۸ کتاب.
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
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, 2014PDF
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.), 2012
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
ILLIBERAL JUSTICE: JOHN RAWLS VS. THE AMERICAN POLITICAL TRADITION
David Lewis Schaefer, 2007PDF
Illiberal Justice: John Rawls vs. the American Political Tradition
David Lewis Schaefer, 2007PDF
Animal Behaviour: Evolution and Mechanisms
H. Martin Schaefer (auth.), Peter Kappeler (eds.), 2010PDF
Advanced Accounting
Joe Ben Hoyle, Thomas Schaefer, Timothy Doupnik, 2015PDF
Advances in Geometric Modeling and Processing: 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings
Bernard Mourrain, Scott Schaefer, Guoliang Xu, 2010DJVU
Banach lattices and positive operators
H.H. Schaefer, 1975PDF
Drugs During Pregnancy and Lactation (Schaefer, Drugs During Pregnancy and Lactation)
Christof Schaefer, Paul W.J. Peters, Richard K Miller, 2007PDF
Drugs During Pregnancy and Lactation (Schaefer, Drugs During Pregnancy and Lactation), 2nd Edition
Christof Schaefer, Paul W.J. Peters, Richard K Miller, 2007PDF
A New Dimension to Quantum Chemistry: Analytic Derivative Methods in Ab Initio Molecular Electronic Structure Theory
Yukio Yamaguchi, John D. Goddard, Yoshihiro Osamura, Henry Schaefer, 1994PDF
A New Dimension to Quantum Chemistry: Analytic Derivative Methods in Ab Initio Molecular Electronic Structure Theory (International Series of Monographs on Chemistry 29)
Yukio Yamaguchi, John D. Goddard, Yoshihiro Osamura, Henry Schaefer III, 1994PDF
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
Computational intelligence in medical imaging: techniques and applications
G. Schaefer, A. Hassanien, J. Jiang, 2009PDF
Computational Intelligence in Medical Imaging: Techniques and Applications
G. Schaefer, A. Hassanien, J. Jiang, 2009PDF
