- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
52,62€(IVA inc.)
Foundational and practical aspects of resource analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
- Peña, Ricardo
- 978-3-642-32494-9
- 2012-07-13
64,48€(IVA inc.)
Inductive logic programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers
- Muggleton, Stephen
- 978-3-642-31950-1
- 2012-07-12
47,84€(IVA inc.)
Formal verification of object-oriented software: International Conference, FOVEOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- Beckert, Bernhard
- 978-3-642-31761-3
- 2012-07-11
47,84€(IVA inc.)
Model checking software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings
- Donaldson, Alastair
- 978-3-642-31758-3
- 2012-07-09
47,84€(IVA inc.)
Multicore software engineering, performance and tools: International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012, Proceedings
- Pankratius, Victor
- 978-3-642-31201-4
- 2012-07-09
56,16€(IVA inc.)
Descriptional complexity of formal systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
- Kutrib, Martin
- 978-3-642-31622-7
- 2012-07-09
70,93€(IVA inc.)
Interactive theorem proving: third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- Beringer, Lennart
- 978-3-642-32346-1
- 2012-07-06
9,00€(IVA inc.)
Android: las bases para un buen inicio en el desarrollo para smartphones y tabletas
- Perochon, S.
- 978-2-7460-7517-7
- 2012-07-05
72,80€(IVA inc.)
Theory and applications of satisfiability testing: SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
- Cimatti, Alessandro
- 978-3-642-31611-1
- 2012-07-03
47,84€(IVA inc.)
Deontic logic in computer science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
- Agotnes, Thomas
- 978-3-642-31569-5
- 2012-07-02