(119 resultados)
Ordenar por
ordenar por...
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
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
98,79€(IVA inc.)
Towards the Internet of Services: The THESEUS Research Program
- Wahlster, Wolfgang
- 978-3-319-06754-4
- 2014-09-11
98,79€(IVA inc.)
Towards the Internet of Services: The THESEUS Research Program
- Wahlster, Wolfgang
- 978-3-319-36127-7
- 2016-08-23
57,19€(IVA inc.)
Transforming the IT Services Lifecycle with AI Technologies
- Kloeckner, Kristof
- 978-3-319-94047-2
- 2018-09-28
56,16€(IVA inc.)
Trust and trustworthy computing: 5th International Conference, Trust 2012, Vienna, Austria, June 13-15, 2012, Proceedings
- Katzenbeisser, Stefan
- 978-3-642-30920-5
- 2012-05-30
88,16€(IVA inc.)
Ubiquitous computing: smart devices, environments and interactions
- Poslad, Stefan
- 978-0-470-03560-3
- 2009-03-27