کتاب های Steffen Bohm
کتاب های نویسنده
صفحه ۵ از ۱۸ در بین ۴۴۵ کتاب.
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
Affine cellular algebras
Steffen Koenig, 2011PDF
Digestive diseases 22 1 Advanced Imaging Modalities
Steffen Rickes, 2004PDF
Abenteuer Fotografie. Aus dem Logbuch eines Fotografen
Steffen »Stilpirat« Böttcher, 2012PDF
Manufacturing Simulation with Plant Simulation and Simtalk: Usage and Programming with Examples and Solutions
Steffen Bangsow (auth.), 2010PDF
Aligned Thinking: Make Every Moment Count (Blanchard, Ken)
Jim Steffen, 2006PDF
Global Change and the Earth System (2005)(1st ed.)(en)(332s)
Will Steffen, 2005PDF
