- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
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
103,95€(IVA inc.)
Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
- Abramsky, Samson
- 978-3-642-14164-5
- 2010-06-30
93,55€(IVA inc.)
Automata, languages and programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
- Abramsky, Samson
- 978-3-642-14161-4
- 2010-06-30
57,15€(IVA inc.)
Fast software encryption: 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 Revised Selected Papers
- Hong, Seokhie
- 978-3-642-13857-7
- 2010-06-30
20,25€(IVA inc.)
Getting started with processing: a quick, hands-on introduction
- Reas, Casey
- 978-1-4493-7980-3
- 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
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
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
31,15€(IVA inc.)
Time for verification: essays in memory of Amir Pnueli
- Manna, Zohar
- 978-3-642-13753-2
- 2010-06-30
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