Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
- takbook
- سایر محصولات
- 6th ژانویه 2018
- بدون نظر
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Elvira Albert, Emil Sekerinski (eds.)…
Computer Vision Analysis of Image Motion by Variational Methods
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Computer Vision Analysis of Image Motion by Variational Methods
Amar Mitiche, J.K. Aggarwal (auth.)…
Applied Methods and Techniques for Mechatronic Systems: Modelling, Identification and Control
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Applied Methods and Techniques for Mechatronic Systems: Modelling, Identification and Control
Dongya Zhao, Quanmin Zhu, Shaoyuan Li (auth.), Lei Liu, Quanmin Zhu, Lei Cheng, Yongji Wang, Dongya Zhao (eds.)…
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Im
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Im
Tiziana Margaria, Bernhard Steffen (eds.)…
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 20
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 20
Tiziana Margaria, Bernhard Steffen (eds.)…
Applied Statistical Methods in Agriculture, Health and Life Sciences
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers
Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Mørken, Larry L. Schumaker (eds.)…
Manufacturing scheduling systems : an integrated view on models, methods and tools
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Manufacturing scheduling systems : an integrated view on models, methods and tools
Leisten, Rainer; Ruiz García, Rubén; Framiñán Torres, José Manuel…
Modelling and Simulation of Diffusive Processes: Methods and Applications
- takbook
- سایر محصولات
- 5th ژانویه 2018
- بدون نظر
Modelling and Simulation of Diffusive Processes: Methods and Applications
S.K. Basu, Naveen Kumar (eds.)…