- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
56,16€(IVA inc.)
Object, models, components, patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
- Furia, Carlo A.
- 978-3-642-30560-3
- 2012-05-11
47,84€(IVA inc.)
Modeling and simulation in engineering, economics, and management: International Conference, MS 2012, New Rochelle, NY, Usa, May 30 - June 1, 2012, Proceedings
- Engemann, Kurt J.
- 978-3-642-30432-3
- 2012-05-11
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.)
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
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
56,16€(IVA inc.)
Recent advances in reinforcement learning: 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised and Selected Papers
- Sanner, Scott
- 978-3-642-29945-2
- 2012-05-01
135,15€(IVA inc.)
Monte Carlo and quasi-Monte Carlo methods 2010
- Plaskota, Leszek
- 978-3-642-27439-8
- 2012-04-30
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
83,15€(IVA inc.)
The correctness-by-construction approach to programming
- Kourie, Derrick G.
- 978-3-642-27918-8
- 2012-04-30