- Inicio
- > materias
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
(7 resultados)
Ordenar por
ordenar por...
61,78€(IVA inc.)
Stabilization, safety, and security of distributed systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings
- Richa, Andréa W.
- 978-3-642-33535-8
- 2012-08-22
56,16€(IVA inc.)
The logic of categorial grammars: a deductive account of natural language syntax and semantics
- Moot, Richard
- 978-3-642-31554-1
- 2012-07-23
51,95€(IVA inc.)
The software dilemma: balancing creativity and control on the path to sustainable software
- Gutbrod, Roger
- 978-3-642-27235-6
- 2012-03-31
77,95€(IVA inc.)
Theorem proving in higher order logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
- Berghofer, Stefan
- 978-3-642-03358-2
- 2009-08-04
95,68€(IVA inc.)
Theoretical computer science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
- Calude, Christian S.
- 978-3-642-15239-9
- 2010-08-30