- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
36,35€(IVA inc.)
Proofs and algorithms: an introduction to logic and computability
- Dowek, Gilles
- 978-0-85729-120-2
- 2011-01-14
47,84€(IVA inc.)
Algorithms and models for the web-graph: 7th international workshop, WAW 2010, stanford, CA, USA, december 13-14, 2010, proceedings
- Kumar, Ravi
- 978-3-642-18008-8
- 2011-01-14
47,84€(IVA inc.)
Theory of quantum computation, communication and cryptography: 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers
- Dam, Wim van
- 978-3-642-18072-9
- 2011-01-14
47,84€(IVA inc.)
Computers and games: 7th international conference, CG 2010, kanazawa, japan, september 24-26, 2010, revised selected papers
- Herik, H. Jaap van den
- 978-3-642-17927-3
- 2011-01-14
72,80€(IVA inc.)
Numerical methods and applications: 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010, Revised Papers
- Dimov, Ivan
- 978-3-642-18465-9
- 2011-01-14
56,16€(IVA inc.)
Digital watermarking: 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers
- Kim, Hyoung-Joong
- 978-3-642-18404-8
- 2011-01-14
47,84€(IVA inc.)
DNA computing and molecular programming: 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers
- Sakakibara, Yasubumi
- 978-3-642-18304-1
- 2011-01-14
36,35€(IVA inc.)
Rigorous software development: an introduction to program verification
- Bacelar Almeida, José
- 978-0-85729-017-5
- 2011-01-14
47,84€(IVA inc.)
Algebraic methodology and software technology: 13th international conference, AMAST 2010, lac-beauport, QC, canada, june 23-25, 2010, revised selected papers
- Johnson, Michael
- 978-3-642-17795-8
- 2011-01-14
47,84€(IVA inc.)
Formal verification of object-oriented software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- Beckert, Bernhard
- 978-3-642-18069-9
- 2011-01-14