93,60€(IVA inc.)
Deductive Software Verification - The KeY Book
- Ahrendt, Wolfgang
- 978-3-319-49811-9
- 2016-12-27
76,96€(IVA inc.)
Algorithms and Architectures for Parallel Processing
- Carretero, Jesus
- 978-3-319-49582-8
- 2016-12-23
62,39€(IVA inc.)
Information Systems Management in the Big Data Era
- Lake, Peter
- 978-3-319-35507-8
- 2016-10-14