93,60€(IVA inc.)
Deductive Software Verification - The KeY Book
- Ahrendt, Wolfgang
- 978-3-319-49811-9
- 2016-12-27
77,95€(IVA inc.)
Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
- Ambos-Spies, Klaus
- 978-3-642-03072-7
- 2009-07-15
103,99€(IVA inc.)
Genetic Programming Theory and Practice XV
- Banzhaf, Wolfgang
- 978-3-319-90511-2
- 2018-07-01
46,75€(IVA inc.)
Globalization of professional services: innovative strategies, successful processes, inspired talent management, and first-hand experiences
- Bäumer, Ulrich
- 978-3-642-29180-7
- 2012-06-30
103,95€(IVA inc.)
Adaptive multimodal interactive systems
- Bezold, Matthias
- 978-1-4419-9709-8
- 2011-06-29
82,16€(IVA inc.)
Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Blass, Andreas
- 978-3-642-15024-1
- 2010-08-05
160,10€(IVA inc.)
Tools for high performance computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for high Performance Computing, September 2011, Zih, Dresden
- Brunst, Holger
- 978-3-642-31475-9
- 2012-09-30
103,95€(IVA inc.)
Tools for High Performance Computing 2011
- Brunst, Holger
- 978-3-642-43985-8
- 2014-10-15