(37 resultados)
Ordenar por
ordenar por...
77,95€(IVA inc.)
Automated deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
- Schmidt, Renate A.
- 978-3-642-02958-5
- 2009-07-10
60,32€(IVA inc.)
Automated Reasoning with Analytic Tableaux and Related Methods
- Schmidt, Renate A.
- 978-3-319-66901-4
- 2017-11-12
135,15€(IVA inc.)
103,95€(IVA inc.)
Cooperative work and coordinative practices: contributions to the conceptual foundations of computer supported cooperative work
- Schmidt, Kjeld
- 978-1-84800-067-4
- 2010-07-01
152,83€(IVA inc.)
98,79€(IVA inc.)
Designing Socially Embedded Technologies in the Real-World
- Wulf, Volker
- 978-1-4471-6719-8
- 2015-08-14
98,79€(IVA inc.)
Designing Socially Embedded Technologies in the Real-World
- Wulf, Volker
- 978-1-4471-7115-7
- 2016-10-18