- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
57,15€(IVA inc.)
Objects, components, models and patterns: 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings
- Oriol, Manuel
- 978-3-642-02570-9
- 2009-06-19
55,07€(IVA inc.)
Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
- Pasareanu, Corina S.
- 978-3-642-02651-5
- 2009-06-19
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.)
77,95€(IVA inc.)
Methods and models in artificial and natural computation : a homage to professor Mira's scientific l: Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I
- Mira, José
- 978-3-642-02263-0
- 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
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
51,95€(IVA inc.)
Software engineering for self-adaptive systems
- Cheng, Betty H.C.
- 978-3-642-02160-2
- 2009-06-15