- Inicio
- / INFORMÁTICA
- > ALGORITMOS / ESTRUCTURA DE DATOS
81,12€(IVA inc.)
72,80€(IVA inc.)
Runtime verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
- Barringer, Howard
- 978-3-642-16611-2
- 2010-10-19
56,16€(IVA inc.)
Property testing: current research and surveys
- Goldreich, Oded
- 978-3-642-16366-1
- 2010-10-08
47,84€(IVA inc.)
Information hiding: 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers
- Böhme, Rainer
- 978-3-642-16434-7
- 2010-10-08
64,48€(IVA inc.)
Artificial intelligence and computational intelligence: International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
- Wang, Fu Lee
- 978-3-642-16526-9
- 2010-10-08
47,84€(IVA inc.)
Automated reasoning for security protocol analysis and issues in the theory of security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
- Armando, Alessandro
- 978-3-642-16073-8
- 2010-10-08
72,80€(IVA inc.)
Artificial intelligence and computational intelligence: International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
- Wang, Fu Lee
- 978-3-642-16529-0
- 2010-10-08
83,20€(IVA inc.)
Information computing and applications, part I: International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, part I
- Zhu, Rongbo
- 978-3-642-16335-7
- 2010-10-06
56,16€(IVA inc.)
Algorithmic game theory: Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010, Proceedings
- Kontogiannis, Spyros
- 978-3-642-16169-8
- 2010-10-06
47,84€(IVA inc.)
Facing the multicore-challenge: aspects of new paradigms and technologies in parallel computing
- Keller, Rainer
- 978-3-642-16232-9
- 2010-10-06