نتایج جستجو
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
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
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
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010
Bioinformatics and Biomedical Engineering: 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings
Francisco Ortuño, Ignacio Rojas (eds.), 2016
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.), 1996
Principles of Data Mining and Knowledge Discovery: 4th European Conference, PKDD 2000 Lyon, France, September 13–16, 2000 Proceedings
Arno J. Knobbe, Arno Siebes, Hendrik Blockeel, Daniël Van Der Wallen (auth.), Djamel A. Zighed, Jan Komorowski, Jan Żytkow (eds.), 2000
AAOS Atlas of Orthoses and Assistive Devices, 4th Edition
John D. Hsu MD, John Michael, John Fisk MD, 2008
Constructive Side-Channel Analysis and Secure Design: 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers
Juliane Krämer, Dmitry Nedospasov (auth.), Emmanuel Prouff (eds.), 2013
Advances in analysis : proceedings of the 4th International ISAAC Congress, York University, Toronto, Canada, 11-16 August 2003
Heinrich GW Begehr; International Society for Analysis, Applications, and Computation. Congress; et al(eds.), 2005
B Boron Compounds: 4th Supplement Volume 3a Boron and Nitrogen
Anton Meller (auth.), Jürgen Faust, Kurt Niedenzu (eds.), 1991
Symplectic Geometry and Mirror Symmetry,: Proceedings of the 4th KIAS Annual International Conference
Y.G. Oh, K. Fukaya, Y-G Oh, K. Ono, G. Tian, 2008
Symplectic geometry and mirror symmetry: proceedings of the 4th KIAS Annual International Conference, Korea Institute for Advanced Study, Seoul, South Korea, 14-18 August 2000
Y.G. Oh, K. Fukaya, Y-G Oh, K. Ono, G. Tian, 2001
Land Drainage and Flood Defence Responsibilities (4th Edition)
ICE Publishing, 2010
Innovations in Enterprise Information Systems Management and Engineering: 4th International Conference, ERP Future 2015 - Research, Munich, Germany, November 16-17, 2015, Revised Papers
Michael Felderer, Felix Piazolo, Wolfgang Ortner, Lars Brehm, Hans-Joachim Hof (eds.), 2016
Beginning PHP and MySQL, 4th Edition: From Novice to Professional
W. Jason Gilmore, 2
Beginning PHP and MySQL: From Novice to Professional, 4th Edition
W. Jason Gilmore, 2010
Global Advances in Selenium Research from Theory to Application: Proceedings of the 4th International Conference on Selenium in the Environment and Human Health 2015
Banuelos, Gary Stephan; Guilherme, Luiz Roberto G.; Lin, Zhi-Qing; Moraes, Milton Ferreira de.; Reis, André Rodrigues dos, 2016
