- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
51,95€(IVA inc.)
Tests and proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
- Dubois, Catherine
- 978-3-642-02948-6
- 2009-06-24
51,95€(IVA inc.)
93,55€(IVA inc.)
Rough sets and knowledge technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings
- Wen, Peng
- 978-3-642-02961-5
- 2009-06-24
57,15€(IVA inc.)
Automated reasoning with analytic TABLEAUX and related methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings
- Giese, Martin
- 978-3-642-02715-4
- 2009-06-24
77,95€(IVA inc.)
Logic programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
- Hill, Patricia M.
- 978-3-642-02845-8
- 2009-06-24
51,95€(IVA inc.)
Software composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
- Bergel, Alexandre
- 978-3-642-02654-6
- 2009-06-22
77,95€(IVA inc.)
Developments in language theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
- Diekert, Volker
- 978-3-642-02736-9
- 2009-06-22
51,95€(IVA inc.)
Autonomic and trusted computing: 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
- González Nieto, Juan
- 978-3-642-02703-1
- 2009-06-22
77,95€(IVA inc.)
Theory and applications of satisfiability testing- SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
- Kullmann, Oliver
- 978-3-642-02776-5
- 2009-06-19
93,55€(IVA inc.)
Computer aided verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
- Bouajjani, Ahmed
- 978-3-642-02657-7
- 2009-06-19