- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
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
47,84€(IVA inc.)
Multi-agent-based simulation XI: International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
- Bosse, Tibor
- 978-3-642-18344-7
- 2011-01-14
36,35€(IVA inc.)
Proofs and algorithms: an introduction to logic and computability
- Dowek, Gilles
- 978-0-85729-120-2
- 2011-01-14
64,48€(IVA inc.)
Verification, model checking, and abstract interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
- Jhala, Ranjit
- 978-3-642-18274-7
- 2011-01-11
47,84€(IVA inc.)
Practical aspects of declarative languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
- Rocha, Ricardo
- 978-3-642-18377-5
- 2011-01-11
72,80€(IVA inc.)
73,12€(IVA inc.)
Software engineering reviews and audits
- Summers, Boyd L.
- 978-1-4398-5145-6
- 2011-01-07
90,48€(IVA inc.)
Neural information processing : theory and algorithms: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, part I
- Wong, Kevin K.W.
- 978-3-642-17536-7
- 2011-01-04
72,80€(IVA inc.)
Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
- Clarke, Edmund M.
- 978-3-642-17510-7
- 2011-01-04
75,92€(IVA inc.)
Transactions on computational science X pt. I Special issue on security in computing
- Gavrilova, Marina L.
- 978-3-642-17498-8
- 2011-01-04