- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
(4703 resultados)
Ordenar por
ordenar por...
51,95€(IVA inc.)
Web reasoning and rule systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings
- Calvanese, D.
- 978-3-540-88736-2
- 2008-11-01
46,75€(IVA inc.)
Automated technology for verification and analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
- Cha, S.
- 978-3-540-88386-9
- 2008-11-01
25,95€(IVA inc.)
Information and communications security: 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings
- Chen, L.
- 978-3-540-88624-2
- 2008-11-01
72,75€(IVA inc.)
Algorithmic learning theory: 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, Proceedings
- Freund, Y.
- 978-3-540-87986-2
- 2008-11-01
61,31€(IVA inc.)
Generative and transformational techniques in software engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers
- Lämmel, R.
- 978-3-540-88642-6
- 2008-11-01
31,15€(IVA inc.)
Wireless algorithms, systems, and applications: Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings
- Li, Y.
- 978-3-540-88581-8
- 2008-11-01
67,55€(IVA inc.)
121,63€(IVA inc.)
Leveraging applications of formal methods, verification and validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
- Margaria, T.
- 978-3-540-88478-1
- 2008-11-01
31,15€(IVA inc.)
Language and automata theory and applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
- Martín-Vide, C.
- 978-3-540-88281-7
- 2008-11-01
110,95€(IVA inc.)
Algorithms and protocols for wireless, mobile ad Hoc networks
- Boukerche, Azzedine
- 978-0-470-38358-2
- 2008-11-01