- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
64,48€(IVA inc.)
Automated technology for verification and analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
- Bouajjani, Ahmed
- 978-3-642-15642-7
- 2010-09-14
47,84€(IVA inc.)
56,16€(IVA inc.)
Collaboration and technology: 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings
- Kolfschoten, Gwendolyn
- 978-3-642-15713-4
- 2010-09-13
64,48€(IVA inc.)
Static analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
- Cousot, Radhia
- 978-3-642-15768-4
- 2010-09-09
117,54€(IVA inc.)
Phase-field methods in materials science and engineering
- Provatas, Nikolas
- 978-3-527-40747-7
- 2010-09-08
47,84€(IVA inc.)
Foundational and practical aspects of resource analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
- Eekelen, Marko van
- 978-3-642-15330-3
- 2010-09-06
57,15€(IVA inc.)
Model-based software performance analysis
- Cortellessa, Vittorio
- 978-3-642-13620-7
- 2010-09-06
56,16€(IVA inc.)
Logics in artificial intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
- Janhunen, Tomi
- 978-3-642-15674-8
- 2010-09-06
36,56€(IVA inc.)
Professional Flash Catalyst: building user experiences for rich internet applications
- Casario, Marco
- 978-0-470-66107-9
- 2010-09-03
82,16€(IVA inc.)
Artificial neural networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I
- Diamantaras, Konstantinos
- 978-3-642-15818-6
- 2010-09-03