- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
47,84€(IVA inc.)
Verified software : theories, tools, experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
- Leavens, Gary T.
- 978-3-642-15056-2
- 2010-08-05
47,84€(IVA inc.)
Computational logic in multi-agent systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
- Leite, Joao
- 978-3-642-14976-4
- 2010-08-05
47,84€(IVA inc.)
Finate-state methods and natural language processing: 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
- Yli-Jyrä, Anssi
- 978-3-642-14683-1
- 2010-08-05
176,75€(IVA inc.)
G.W. Stewart: selected works with commentaries
- Kilmer, Misha E.
- 978-0-8176-4967-8
- 2010-08-04
78,98€(IVA inc.)
Secure and resilient software development
- Merkow, Mark S.
- 978-1-4398-2696-6
- 2010-08-04
119,55€(IVA inc.)
Revision, acceptability and context: theoretical and algorithmic aspects
- Gabbay, Dov M.
- 978-3-642-14158-4
- 2010-08-01
67,55€(IVA inc.)
Triangulations: structures for algorithms and applications
- Loera, Jesús A. de
- 978-3-642-12970-4
- 2010-08-01
95,27€(IVA inc.)
Interoperability for Enterprise Software and Applications: Proceedings of the Workshops and the Doctorial Symposium of t
- Panetto, Herve
- 978-1-84821-270-1
- 2010-08-01