- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
51,95€(IVA inc.)
Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
- Puppis, Gabriele
- 978-3-642-11880-7
- 2010-02-18
82,16€(IVA inc.)
Automata, languages and programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, part II
- Aceto, Luca
- 978-3-642-22011-1
- 2011-06-27
72,80€(IVA inc.)
Automated reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
- Gramlich, Bernhard
- 978-3-642-31364-6
- 2012-06-20
46,75€(IVA inc.)
Automated technology for verification and analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
- Cha, S.
- 978-3-540-88386-9
- 2008-11-01
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
40,48€(IVA inc.)
Bad data handbook: cleaning up the data so you can get back to work
- McCallum, Q.
- 978-1-4493-2188-8
- 2012-10-31
35,25€(IVA inc.)
Beginning Android 4 application development
- Lee, Wei-Meng
- 978-1-118-19954-1
- 2012-03-23
35,25€(IVA inc.)
Beginning Android application development
- Lee, Wei-Meng
- 978-1-1180-1711-1
- 2011-03-31