- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
90,38€(IVA inc.)
64,48€(IVA inc.)
Inductive logic programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers
- Muggleton, Stephen
- 978-3-642-31950-1
- 2012-07-12
56,16€(IVA inc.)
New frontiers in artificial intelligence: JSAI-ISAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers
- Okumura, Manabu
- 978-3-642-32089-7
- 2012-07-10
56,16€(IVA inc.)
Descriptional complexity of formal systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
- Kutrib, Martin
- 978-3-642-31622-7
- 2012-07-09
52,62€(IVA inc.)
Applications of discrete geometry and mathematical morphology: First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers
- Köthe, Ullrich
- 978-3-642-32312-6
- 2012-07-06
70,93€(IVA inc.)
Interactive theorem proving: third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- Beringer, Lennart
- 978-3-642-32346-1
- 2012-07-06
56,16€(IVA inc.)
Implementation and application of automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
- Moreira, Nelma
- 978-3-642-31605-0
- 2012-07-03
72,80€(IVA inc.)
Theory and applications of satisfiability testing: SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
- Cimatti, Alessandro
- 978-3-642-31611-1
- 2012-07-03
47,84€(IVA inc.)
Arithmetic of finite fields: 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings
- Özbudak, Ferruh
- 978-3-642-31661-6
- 2012-07-02
47,84€(IVA inc.)
Deontic logic in computer science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
- Agotnes, Thomas
- 978-3-642-31569-5
- 2012-07-02