119,59€(IVA inc.)
The Water, Energy, and Food Security Nexus in the Arab Region
- Amer, Kamel M.
- 978-3-319-48407-5
- 2016-12-06
72,75€(IVA inc.)
Verification of sequential and concurrent programs
- Apt, Krzysztof R.
- 978-1-84882-744-8
- 2009-11-01
81,22€(IVA inc.)
Theoretical computer science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
- Baeten, Jos C.M.
- 978-3-642-33474-0
- 2012-08-17
72,75€(IVA inc.)
Formal methods for open object-based distributed systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
- Barthe, G.
- 978-3-540-68862-4
- 2008-07-01
103,99€(IVA inc.)
Mass Customization and Sustainability
- Boër, Claudio R.
- 978-1-4471-5115-9
- 2013-06-30