- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
77,95€(IVA inc.)
Automated deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
- Schmidt, Renate A.
- 978-3-642-02958-5
- 2009-07-10
51,95€(IVA inc.)
Computational logic in multi-agent systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
- Fisher, Michael
- 978-3-642-02733-8
- 2009-07-10
57,15€(IVA inc.)
Geometric algebra: an algebraic system for computer games and animation
- Vince, J.A.
- 978-1-84882-378-5
- 2009-07-01
83,15€(IVA inc.)
Verification and control of hybrid systems: a symbolic approach
- Tabuada, Paulo
- 978-1-4419-0223-8
- 2009-07-01
77,95€(IVA inc.)
Case-based reasoning research and development: 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
- McGinty, Lorraine
- 978-3-642-02997-4
- 2009-06-30
57,15€(IVA inc.)
Algorithmic of large and complex networks: design, analysis, and simulation
- Lerner, Jürgen
- 978-3-642-02093-3
- 2009-06-26
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