کتاب های Steffen Mau
کتاب های نویسنده
صفحه ۵ از ۱۸ در بین ۴۴۵ کتاب.
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.), 2010
PDF
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.), 2010
PDF
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
Arrow Pushing in Inorganic Chemistry : a Logical Approach to the Chemistry of the Main Group Elements
Abhik Ghosh, Steffen Berg, 2014PDF
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
Steffen Hölldobler (eds.), 2000DJVU
Intellectics and computational logic: papers in honor of Wolfgang Bibel
Steffen Hölldobler (eds.), 2000PDF
Eye Pathology: An Illustrated Guide
Steffen Heegaard, Hans Grossniklaus (eds.), 2015
PDF
Advances in Dynamic Game Theory: Numerical Methods, Algorithms, and Applications to Ecology and Economics
Pierre Cardaliaguet, Marc Quincampoix, Patrick Saint-Pierre (auth.), Steffen Jørgensen, Marc Quincampoix, Thomas L. Vincent (eds.), 2007PDF
Advances in Dynamic Game Theory: Numerical Methods, Algorithms, and Applications to Ecology and Economics (Annals of the International Society of Dynamic Games)
Steffen Jorgensen, Marc Quincampoix, Thomas L. Vincent, 2007PDF
Agentensoftware und Unternehmenskommunikation: Wahrnehmung und Beurteilung von Leistungen im E-Commerce
Steffen Leich (auth.), 2002PDF
“The Main Business of Natural Philosophy: Isaac Newton’s Natural-Philosophical Methodology
Steffen Ducheyne, 2012PDF
Basislehrbuch Innere Medizin
Steffen Krautzig Herbert Renz-Polster, 2012PDF
Upsetting the Offset: The Political Economy of Carbon Markets
Steffen Bohm, 2009PDF
Affine cellular algebras
Steffen Koenig, 2011PDF
