66,56€(IVA inc.)
Automated Technology for Verification and Analysis
- Finkbeiner, Bernd
- 978-3-319-24952-0
- 2015-11-19
56,16€(IVA inc.)
Autonomic and trusted computing: 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings
- Branke, Juergen
- 978-3-642-16575-7
- 2010-10-08
49,92€(IVA inc.)
Big Data Benchmarks, Performance Optimization, and Emerging Hardware
- Zhan, Jianfeng
- 978-3-319-13020-0
- 2014-11-26
41,60€(IVA inc.)
Big Data Benchmarks, Performance Optimization, and Emerging Hardware
- Zhan, Jianfeng
- 978-3-319-29005-8
- 2016-02-16
95,67€(IVA inc.)
Bio-inspired Computing: Theories and Applications
- Qiao, Jianyong
- 978-981-13-2825-1
- 2018-11-14
95,67€(IVA inc.)
Bio-inspired Computing: Theories and Applications
- Qiao, Jianyong
- 978-981-13-2828-2
- 2018-11-14
87,36€(IVA inc.)
Bio-inspired Computing - Theories and Applications
- Gong, Maoguo
- 978-981-10-3610-1
- 2017-01-08
124,79€(IVA inc.)
Biogeography-Based Optimization: Algorithms and Applications
- Zheng, Yujun
- 978-981-13-2585-4
- 2018-11-19