نتایج جستجو
برای Steffen Bohm، صفحه ۱۴ از ۲۸ در بین ۶۸۰ کتاب.
PDF
Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
Steffen Mazanek, Mark Minas (auth.), Olaf Chitil, Zoltán Horváth, Viktória Zsók (eds.), 2008DJVU
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 1996PDF
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 1996PDF
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012PDF
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
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
