- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
(707 resultados)
Ordenar por
ordenar por...
47,84€(IVA inc.)
Functional and constraint logic programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
- Marino, Julio
- 978-3-642-20774-7
- 2011-05-10
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
47,84€(IVA inc.)
Reliable software technologies : Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
- Brorsson, Mats
- 978-3-642-30597-9
- 2012-05-23
47,84€(IVA inc.)
Facing the multicore-challenge II: aspects of new paradigms and technologies in parallel computing
- Keller, Rainer
- 978-3-642-30396-8
- 2012-05-18
47,84€(IVA inc.)
Logic and games on automatic structures: playing with quantifiers and decompositions
- Kaiser, Lukasz
- 978-3-642-22806-3
- 2011-07-22
47,84€(IVA inc.)
Logic-based program synthesis and transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
- Vidal, Germán
- 978-3-642-32210-5
- 2012-07-31
47,84€(IVA inc.)
Facing the multicore-challenge: aspects of new paradigms and technologies in parallel computing
- Keller, Rainer
- 978-3-642-16232-9
- 2010-10-06
47,84€(IVA inc.)
Vagueness in communication: International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
- Nouwen, Rick
- 978-3-642-18445-1
- 2011-01-14
47,84€(IVA inc.)
Computational logic in multi-agent systems: 10th international workshop, CLIMA-X 2009, hamburg, germany, september 9-10, 2009, revised selected and invited papers
- Dix, Jürgen
- 978-3-642-16866-6
- 2010-10-29
47,84€(IVA inc.)
Parameterized and exact computation: 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
- Marx, Dániel
- 978-3-642-28049-8
- 2012-06-30