52,00€(IVA inc.)
Critical Systems: Formal Methods and Automated Verification
- ter Beek, Maurice H.
- 978-3-319-45942-4
- 2016-09-14
72,75€(IVA inc.)
Distributed Computing Through Combinatorial Topology
- Herlihy, Maurice
- 978-0-12-404578-1
- 2014-01-24
41,60€(IVA inc.)
Mastering Lambdas: Jave Programming in a Multicore World
- Naftalin, Maurice
- 9780071829625
- 2014-09-22
155,99€(IVA inc.)
Small Universal Cellular Automata in Hyperbolic Spaces
- Margenstern, Maurice
- 978-3-642-44204-9
- 2015-04-16
98,79€(IVA inc.)
Solving the Dynamic Complexity Dilemma
- Abu el Ata, Nabil
- 978-3-642-54309-8
- 2014-08-22
88,35€(IVA inc.)
Supporting people with dementia using pervasive health technologies
- Mulvenna, Maurice D.
- 978-1-84882-550-5
- 2010-03-01
68,59€(IVA inc.)
The Art of Multiprocessor Programming
- Herlihy, Maurice
- 978-0-12-415950-1
- 2020-09-01
62,68€(IVA inc.)
The art of multiprocessor programming
- Herlihy, Maurice
- 978-0-12-397337-5
- 2012-06-12