|
|

avaa valikko

Leonardo de Moura | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



de Moura, Leonardo
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Automated Deduction – CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Pro
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Iyoda, Juliano; de Moura, Leonardo
Springer
2013
Pehmeäkantinen kirja
Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 -
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
47,20 €
Kohlhase, Michael; Johansson, Moa; Miller, Bruce; de Moura, Leonardo; Tompa, Frank
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
43,20 €