- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
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
47,84€(IVA inc.)
Lean enterprise software and systems: First International Conference, LESS 2010, Helsinki, finland, October 17-20, 2010, Proceedings
- Abrahamsson, Pekka
- 978-3-642-16415-6
- 2010-10-08
62,40€(IVA inc.)
Testing software and systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
- Petrenko, Alexandre
- 978-3-642-16572-6
- 2010-10-08
56,16€(IVA inc.)
Autonomic and trusted computing: 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings
- Branke, Juergen
- 978-3-642-16575-7
- 2010-10-08
166,35€(IVA inc.)
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
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
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.)
Integrated formal methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
- Méry, Dominique
- 978-3-642-16264-0
- 2010-10-06
47,84€(IVA inc.)
Rewriting logic and its applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
- Csaba Ölveczky, Peter
- 978-3-642-16309-8
- 2010-10-06