Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
- takbook
- سایر محصولات
- 11th ژانویه 2018
- بدون نظر
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)…
Learning and Intelligent Optimization: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
- takbook
- سایر محصولات
- 11th ژانویه 2018
- بدون نظر
Learning and Intelligent Optimization: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion (eds.)…
Ambient Assisted Living: 7. AAL-Kongress 2014 Berlin, Germany, January 21-22, 2014
- takbook
- سایر محصولات
- 11th ژانویه 2018
- بدون نظر
Ambient Assisted Living: 7. AAL-Kongress 2014 Berlin, Germany, January 21-22, 2014
Reiner Wichert, Helmut Klausing (eds.)…
Advances in ceramic armor XI: a collection of papers presented at the 39th International Conference on Advanced Ceramics and Composites, January 25-30
- takbook
- سایر محصولات
- 11th ژانویه 2018
- بدون نظر
Advances in ceramic armor XI: a collection of papers presented at the 39th International Conference on Advanced Ceramics and Composites, January 25-30
Kirihara, Soshu; LaSalvia, Jerry C.; Wang, Jingyang…
Distributed Computing and Networking: 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings
- takbook
- سایر محصولات
- 8th ژانویه 2018
- بدون نظر
Distributed Computing and Networking: 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings
Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh (auth.), Mainak Chatterjee, Jian-nong Cao, Kishore Kothapalli, Sergio Rajsbaum (eds.)…
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceed
- takbook
- سایر محصولات
- 7th ژانویه 2018
- بدون نظر
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceed
Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)…
Applied Algorithms: First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
- takbook
- سایر محصولات
- 6th ژانویه 2018
- بدون نظر
Applied Algorithms: First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
Bhargab B. Bhattacharya, Sudip Roy, Sukanta Bhattacharjee (auth.), Prosenjit Gupta, Christos Zaroliagis (eds.)…