- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
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
77,95€(IVA inc.)
Computing and combinatorics: 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings
- Ngo, Hung Q.
- 978-3-642-02881-6
- 2009-06-24
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
91,41€(IVA inc.)
Mathematical objects in C++: computational tools in a unified object-Oriented approach
- Shapira, Yair
- 978-1-4398-1147-4
- 2009-06-19
114,35€(IVA inc.)
Symbolic and quantitative approaches to reasoningwith uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings
- Sossai, Claudio
- 978-3-642-02905-9
- 2009-06-19
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
67,55€(IVA inc.)
Rewriting techniques and applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
- Treinen, Ralf
- 978-3-642-02347-7
- 2009-06-15
55,07€(IVA inc.)
Types for proofs and programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
- Berardi, Stefano
- 978-3-642-02443-6
- 2009-06-15
57,15€(IVA inc.)
Applications and theory of petri nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
- Franceschinis, Giuliana
- 978-3-642-02423-8
- 2009-06-15
55,07€(IVA inc.)