46,18€(IVA inc.)
The Year of Julius and Caesar - 59 BC and the Transformation of the Roman Republic
- Chrissanthos, Stefan G.
- 978-1-4214-2969-4
- 2019-08-13
18,72€(IVA inc.)
The Year of Julius and Caesar - 59 BC and the Transformation of the Roman Republic
- Chrissanthos, Stefan G.
- 978-1-4214-2970-0
- 2019-06-14
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
103,99€(IVA inc.)
Theoretical Developments and Applications of Non-Integer Order Systems
- Domek, Stefan
- 978-3-319-23038-2
- 2015-09-14
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