کتاب های Steffen Bohm
کتاب های نویسنده
صفحه ۴ از ۱۸ در بین ۴۴۵ کتاب.
PDF
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.), 2012PDF
Learn cocos2D 2
Steffen Itterheim, Andreas Löw (auth.), 2012PDF
Learn cocos2d 2: Game Development for iOS
Steffen Itterheim , Andreas Löw, 2012PDF
Learn cocos2d 2: Game Development for iOS
Steffen Itterheim , Andreas Löw, 2012EPUB
Learn cocos2d 2: Game Development for iOS
Steffen Itterheim , Andreas Löw, 2012PDF
Learn cocos2d 2: Game Development for iOS
Steffen Itterheim, Andreas Low, 2012PDF
Learn cocos2D game development with iOS 5
Steffen Itterheim; Andreas Löw, 2011PDF
Learn cocos2D Game Development with iOS 5
Steffen Itterheim, Andreas Löw (auth.), 2011EPUB
Learn IPhone 5 and IPad 2 Cocos2D Game Development
Steffen Itterheim, Andreas Löw, 2011PDF
Learn IPhone 5 and IPad 2 Cocos2D Game Development
Steffen Itterheim, Andreas Löw, 2011PDF
Learn Iphone and Ipad Cocos2d Game Development
Steffen Itterheim, 2010PDF
Learn iPhone and iPad cocos2d Game Development
Steffen Itterheim, 2010PDF
Learn iPhone and iPad Cocos2D Game Development
Steffen Itterheim, 2010PDF
Learn iPhone and iPad cocos2d Game Development
Steffen Itterheim, 2010PDF
Learn iPhone and iPad cocos2d Game Development
Steffen Itterheim (auth.), 2010PDF
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.), 2008PDF
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
