- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
150,75€(IVA inc.)
Algorithms and computation: 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
- Dong, Yingfei
- 978-3-642-10630-9
- 2009-11-25
135,15€(IVA inc.)
Monte Carlo and quasi-Monte Carlo methods 2008
- L' Ecuyer, Pierre
- 978-3-642-04106-8
- 2009-11-12
57,15€(IVA inc.)
Modeling decisions for artificial intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings
- Torra, Vicenç
- 978-3-642-04819-7
- 2009-11-02
72,75€(IVA inc.)
Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Liu, Zhiming
- 978-3-642-04760-2
- 2009-11-01
62,35€(IVA inc.)
The pillars of computation theory: state, encoding, nondeterminism
- Rosenberg, Arnold L.
- 978-0-387-09638-4
- 2009-11-01
57,15€(IVA inc.)
Logic, rationality, and interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
- He, Xiangdong
- 978-3-642-04892-0
- 2009-11-01
72,75€(IVA inc.)
Verification of sequential and concurrent programs
- Apt, Krzysztof R.
- 978-1-84882-744-8
- 2009-11-01