- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
95,68€(IVA inc.)
Introduction to high performance computing for scientists and engineers
- Hager, Georg
- 978-1-4398-1192-4
- 2010-07-07
57,15€(IVA inc.)
Learning and intelligent optimization: 4th International Conference, LION 4, Venice, Italy, January 2010 Selected Papers
- Blum, Christian
- 978-3-642-13799-0
- 2010-07-07
51,95€(IVA inc.)
Artificial evolution: 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers
- Collet, Pierre
- 978-3-642-14155-3
- 2010-07-06
34,27€(IVA inc.)
CUDA by example: an introduction to general-purpose GPU programming
- Sanders, Jason
- 978-0-13-138768-3
- 2010-07-01
72,75€(IVA inc.)
Theory and applications of satisfiability testing- SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
- Strichman, Ofer
- 978-3-642-14185-0
- 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.)
New modeling concepts for today's software processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
- Münch, Jürgen
- 978-3-642-14346-5
- 2010-06-30
83,15€(IVA inc.)
Interactive theorem proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
- Kaufmann, Matt
- 978-3-642-14051-8
- 2010-06-30