نتایج جستجو
Biomaterials Engineering and Devices: Human Applications : Volume 2. Orthopedic, Dental, and Bone Graft Applications
John P. Ley, A. Norman Cranin, Michael Katzap (auth.), Donald L. Wise PhD, Debra J. Trantolo PhD, Kai-Uwe Lewandrowski MD, Joseph D. Gresser PhD, Mario V. Cattaneo PhD, Michael J. Yaszemski MD, PhD (eds.), 2000
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
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
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
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
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt (auth.), 2010
Automated Deduction — A Basis for Applications: Volume III Applications
Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998
Automated Deduction — A Basis for Applications: Volume III Applications
Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998
Innovations in Bio-inspired Computing and Applications: Proceedings of the 4th International Conference on Innovations in Bio-Inspired Computing and Applications, IBICA 2013, August 22 -24, 2013 - Ostrava, Czech Republic
Ladislav Zjavka, Václav Snášel (auth.), Ajith Abraham, Pavel Krömer, Václav Snášel (eds.), 2014
Innovations in Bio-Inspired Computing and Applications: Proceedings of the 6th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2015) held in Kochi, India during December 16-18, 2015
Václav Snášel, Ajith Abraham, Pavel Krömer, Millie Pant, Azah Kamilah Muda (eds.), 2016
Intelligent Data Analysis and Applications: Proceedings of the Second Euro-China Conference on Intelligent Data Analysis and Applications, ECC 2015
Ajith Abraham, Xin Hua Jiang, Václav Snášel, Jeng-Shyang Pan (eds.), 2015
Intelligent Data analysis and its Applications, Volume I: Proceeding of the First Euro-China Conference on Intelligent Data Analysis and Applications, June 13-15, 2014, Shenzhen, China
Jeng-Shyang Pan, Vaclav Snasel, Emilio S. Corchado, Ajith Abraham, Shyue-Liang Wang (eds.), 2014
Intelligent Data analysis and its Applications, Volume II: Proceeding of the First Euro-China Conference on Intelligent Data Analysis and Applications, June 13-15, 2014, Shenzhen, China
Jeng-Shyang Pan, Vaclav Snasel, Emilio S. Corchado, Ajith Abraham, Shyue-Liang Wang (eds.), 2014
Coated Textiles: Principles and Applications - Principles and Applications, Second Edition
Ashish Kumar Sen, 2007
Asymptotic Modelling of Fluid Flow Phenomena (Fluid Mechanics and Its Applications, Volume 64) (Fluid Mechanics and Its Applications)
Radyadour K. Zeytounian R. Kh Zeytounian, 2002
Numerical Mathematics and Advanced Applications: Proceedings of ENUMATH 2001 the 4th European Conference on Numerical Mathematics and Advanced Applications Ischia, July 2001
M. Discacciati, A. Quarteroni (auth.), Franco Brezzi, Annalisa Buffa, Stefania Corsaro, Almerico Murli (eds.), 2003
Variational Analysis and Applications (Nonconvex Optimization and Its Applications)
Franco Giannessi, Antonino Maugeri (Editors), 2005
