کتاب های Steffen
![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](http://cdn.ketabkoo.com/covers/1/143387-n.jpg)
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![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](http://cdn.ketabkoo.com/covers/1/143388-n.jpg)
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.), 2012![Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/143389-n.jpg)
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.), 2006![Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/143390-n.jpg)
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.), 2006![Arrow Pushing in Inorganic Chemistry : a Logical Approach to the Chemistry of the Main Group Elements](http://cdn.ketabkoo.com/covers/1/147752-n.jpg)
Arrow Pushing in Inorganic Chemistry : a Logical Approach to the Chemistry of the Main Group Elements
Abhik Ghosh, Steffen Berg, 2014![Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel](http://cdn.ketabkoo.com/covers/1/148390-n.jpg)
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
Steffen Hölldobler (eds.), 2000![Intellectics and computational logic: papers in honor of Wolfgang Bibel](http://cdn.ketabkoo.com/covers/1/148391-n.jpg)
Intellectics and computational logic: papers in honor of Wolfgang Bibel
Steffen Hölldobler (eds.), 2000![Eye Pathology: An Illustrated Guide](http://cdn.ketabkoo.com/covers/1/149870-n.jpg)
Eye Pathology: An Illustrated Guide
Steffen Heegaard, Hans Grossniklaus (eds.), 2015![Advances in Dynamic Game Theory: Numerical Methods, Algorithms, and Applications to Ecology and Economics](http://cdn.ketabkoo.com/covers/1/163987-n.jpg)
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.), 2007![Advances in Dynamic Game Theory: Numerical Methods, Algorithms, and Applications to Ecology and Economics (Annals of the International Society of Dynamic Games)](http://cdn.ketabkoo.com/covers/1/163988-n.jpg)
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, 2007![Agentensoftware und Unternehmenskommunikation: Wahrnehmung und Beurteilung von Leistungen im E-Commerce](http://cdn.ketabkoo.com/covers/1/166968-n.jpg)
Agentensoftware und Unternehmenskommunikation: Wahrnehmung und Beurteilung von Leistungen im E-Commerce
Steffen Leich (auth.), 2002![“The Main Business of Natural Philosophy: Isaac Newton’s Natural-Philosophical Methodology](http://cdn.ketabkoo.com/covers/1/177321-n.jpg)
“The Main Business of Natural Philosophy: Isaac Newton’s Natural-Philosophical Methodology
Steffen Ducheyne, 2012![Basislehrbuch Innere Medizin](http://cdn.ketabkoo.com/covers/1/179851-n.jpg)
Basislehrbuch Innere Medizin
Steffen Krautzig Herbert Renz-Polster, 2012![Upsetting the Offset: The Political Economy of Carbon Markets](http://cdn.ketabkoo.com/covers/1/184003-n.jpg)
Upsetting the Offset: The Political Economy of Carbon Markets
Steffen Bohm, 2009![Affine cellular algebras](http://cdn.ketabkoo.com/covers/1/184293-n.jpg)
Affine cellular algebras
Steffen Koenig, 2011![Digestive diseases 22 1 Advanced Imaging Modalities](http://cdn.ketabkoo.com/covers/1/184577-n.jpg)
Digestive diseases 22 1 Advanced Imaging Modalities
Steffen Rickes, 2004![Abenteuer Fotografie. Aus dem Logbuch eines Fotografen](http://cdn.ketabkoo.com/covers/1/195180-n.jpg)
Abenteuer Fotografie. Aus dem Logbuch eines Fotografen
Steffen »Stilpirat« Böttcher, 2012![Manufacturing Simulation with Plant Simulation and Simtalk: Usage and Programming with Examples and Solutions](http://cdn.ketabkoo.com/covers/1/195409-n.jpg)
Manufacturing Simulation with Plant Simulation and Simtalk: Usage and Programming with Examples and Solutions
Steffen Bangsow (auth.), 2010![Aligned Thinking: Make Every Moment Count (Blanchard, Ken)](http://cdn.ketabkoo.com/covers/1/199247-n.jpg)
Aligned Thinking: Make Every Moment Count (Blanchard, Ken)
Jim Steffen, 2006![Global Change and the Earth System (2005)(1st ed.)(en)(332s)](http://cdn.ketabkoo.com/covers/2/206021-n.jpg)
Global Change and the Earth System (2005)(1st ed.)(en)(332s)
Will Steffen, 2005![Global Change and the Earth System: A Planet Under Pressure](http://cdn.ketabkoo.com/covers/2/206022-n.jpg)
Global Change and the Earth System: A Planet Under Pressure
Will Steffen, 2005![Microsoft Office Project 2007 - Das Handbuch](http://cdn.ketabkoo.com/covers/2/213512-n.jpg)
Microsoft Office Project 2007 - Das Handbuch
Steffen Reister, 2007![Business-Migration: Eine strategische Option](http://cdn.ketabkoo.com/covers/2/215194-n.jpg)
Business-Migration: Eine strategische Option
Steffen Pauls (auth.), 1998![Age Diversity Management in China: Eine Herausforderung für deutsche Auslandsunternehmen](http://cdn.ketabkoo.com/covers/2/223698-n.jpg)