Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–۲۵, ۲۰۱۵٫ Proceedings
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–۲۵, ۲۰۱۵٫ Proceedings
Ezio Bartocci, Rupak Majumdar (eds.)…
Enterprise Information Systems: 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Enterprise Information Systems: 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers
Slimane Hammoudi, Leszek Maciaszek, Ernest Teniente, Olivier Camp, José Cordeiro (eds.)…
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, P
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, P
Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.)…
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.)…
Computational Intelligence in Data Mining – Volume 1: Proceedings of the International Conference on CIDM, 20-21 December 2014
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Computational Intelligence in Data Mining – Volume 1: Proceedings of the International Conference on CIDM, 20-21 December 2014
Lakhmi C. Jain, Himansu Sekhar Behera, Jyotsna Kumar Mandal, Durga Prasad Mohapatra (eds.)…
Algorithms for Computational Biology: Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Algorithms for Computational Biology: Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings
Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth (eds.)…
Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo (eds.)…
Interdisciplinary Applications of Kinematics: Proceedings of the International Conference, Lima, Peru, September 9-11, 2013
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Interdisciplinary Applications of Kinematics: Proceedings of the International Conference, Lima, Peru, September 9-11, 2013
Andrés Kecskeméthy, Francisco Geu Flores (eds.)…
Computer Analysis of Images and Patterns: 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Computer Analysis of Images and Patterns: 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II
George Azzopardi, Nicolai Petkov (eds.)…