- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
64,48€(IVA inc.)
Runtime verification: Second International Conference, Rv 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
- Sen, Koushik
- 978-3-642-29859-2
- 2012-05-10
64,48€(IVA inc.)
Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
- Clarke, Edmund
- 978-3-642-29708-3
- 2012-05-04
56,16€(IVA inc.)
Functional and logic programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
- Schrijvers, Tom
- 978-3-642-29821-9
- 2012-05-02
64,48€(IVA inc.)
Logic programs, norms and action: essays in honor of Marek J. Sergot on the occasion of his 60th birthday
- Artikis, Alexander
- 978-3-642-29413-6
- 2012-05-02
45,00€(IVA inc.)
CMMI para desarrollo: guía para la integración de procesos y la mejora de productos
- Chrissis, Mary Beth
- 978-84-9961-078-8
- 2012-05-01
82,16€(IVA inc.)
Theory and applications of models of computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
- Agrawal, Manindra
- 978-3-642-29951-3
- 2012-04-30
47,84€(IVA inc.)
Algebraic and numeric biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
- Horimoto, Katsuhisa
- 978-3-642-28066-5
- 2012-04-30
47,84€(IVA inc.)
Graph structures for knowledge representation andreasoning: Second Interntional Workshop, Gkr 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
- Croitoru, Madalina
- 978-3-642-29448-8
- 2012-04-30
