- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
124,75€(IVA inc.)
Fete of combinatorics and computer science
- Katona, Gyula O.H.
- 978-3-642-13579-8
- 2010-07-16
72,75€(IVA inc.)
Algorithmic number theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings
- Hanrot, Guillaume
- 978-3-642-14517-9
- 2010-07-07
51,95€(IVA inc.)
Inductive logic programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers
- Raedt, Luc de
- 978-3-642-13839-3
- 2010-07-07
31,15€(IVA inc.)
Computing and combinatorics: 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 Proceedings
- Thai, My T.
- 978-3-642-14030-3
- 2010-07-05
20,75€(IVA inc.)
Algorithmic aspects in information and management: 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 Proceedings
- Chen, Bo
- 978-3-642-14354-0
- 2010-07-05
124,75€(IVA inc.)
Geometric algebra computing: in engineering and computer science
- Bayro-Corrochano, Eduardo Jo
- 978-1-84996-107-3
- 2010-07-01
31,15€(IVA inc.)
Automated reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
- Giesl, Jürgen
- 978-3-642-14202-4
- 2010-06-30
57,15€(IVA inc.)
A 25-year perspective on logic programming: achievements of the Italian Association for Logic Programming, GULP
- Dovier, Agostino
- 978-3-642-14308-3
- 2010-06-30
31,15€(IVA inc.)
Time for verification: essays in memory of Amir Pnueli
- Manna, Zohar
- 978-3-642-13753-2
- 2010-06-30
57,15€(IVA inc.)
Deontic logic in computer science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
- Sartor, Giovanni
- 978-3-642-14182-9
- 2010-06-30