کتاب های Steffen
![Learn cocos2d 2: Game Development for iOS](http://cdn.ketabkoo.com/covers/1/128172-n.jpg)
Learn cocos2d 2: Game Development for iOS
Steffen Itterheim , Andreas Löw, 2012![Learn cocos2d 2: Game Development for iOS](http://cdn.ketabkoo.com/covers/1/128173-n.jpg)
Learn cocos2d 2: Game Development for iOS
Steffen Itterheim, Andreas Low, 2012![Learn cocos2D game development with iOS 5](http://cdn.ketabkoo.com/covers/1/128174-n.jpg)
Learn cocos2D game development with iOS 5
Steffen Itterheim; Andreas Löw, 2011![Learn cocos2D Game Development with iOS 5](http://cdn.ketabkoo.com/covers/1/128175-n.jpg)
Learn cocos2D Game Development with iOS 5
Steffen Itterheim, Andreas Löw (auth.), 2011![Learn IPhone 5 and IPad 2 Cocos2D Game Development](http://cdn.ketabkoo.com/covers/1/128176-n.jpg)
Learn IPhone 5 and IPad 2 Cocos2D Game Development
Steffen Itterheim, Andreas Löw, 2011![Learn IPhone 5 and IPad 2 Cocos2D Game Development](http://cdn.ketabkoo.com/covers/1/128177-n.jpg)
Learn IPhone 5 and IPad 2 Cocos2D Game Development
Steffen Itterheim, Andreas Löw, 2011![Learn Iphone and Ipad Cocos2d Game Development](http://cdn.ketabkoo.com/covers/1/128178-n.jpg)
Learn Iphone and Ipad Cocos2d Game Development
Steffen Itterheim, 2010![Learn iPhone and iPad cocos2d Game Development](http://cdn.ketabkoo.com/covers/1/128196-n.jpg)
Learn iPhone and iPad cocos2d Game Development
Steffen Itterheim, 2010![Learn iPhone and iPad Cocos2D Game Development](http://cdn.ketabkoo.com/covers/1/128197-n.jpg)
Learn iPhone and iPad Cocos2D Game Development
Steffen Itterheim, 2010![Learn iPhone and iPad cocos2d Game Development](http://cdn.ketabkoo.com/covers/1/128198-n.jpg)
Learn iPhone and iPad cocos2d Game Development
Steffen Itterheim, 2010![Learn iPhone and iPad cocos2d Game Development](http://cdn.ketabkoo.com/covers/1/128199-n.jpg)
Learn iPhone and iPad cocos2d Game Development
Steffen Itterheim (auth.), 2010![Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/128899-n.jpg)
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.), 2008![Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers](http://cdn.ketabkoo.com/covers/1/128902-n.jpg)
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.), 2008![Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings](http://cdn.ketabkoo.com/covers/1/135285-n.jpg)
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.), 1996![Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings](http://cdn.ketabkoo.com/covers/1/135287-n.jpg)
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.), 1996![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](http://cdn.ketabkoo.com/covers/1/143377-n.jpg)
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![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](http://cdn.ketabkoo.com/covers/1/143378-n.jpg)
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![Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings](http://cdn.ketabkoo.com/covers/1/143380-n.jpg)
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.), 2009![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](http://cdn.ketabkoo.com/covers/1/143381-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 I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010![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](http://cdn.ketabkoo.com/covers/1/143383-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 I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010![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/143384-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: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II](http://cdn.ketabkoo.com/covers/1/143386-n.jpg)