Tomas+Vojnar | Akateeminen Kirjakauppa

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

Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of t

Vojnar, Tomáš; Zhang, Lijun
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,40 €

Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of t

Vojnar, Tomáš; Zhang, Lijun
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,40 €

Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Repu

Kotásek, Zdeněk; Bouda, Jan; Cerná, Ivana; Sekanina, Lukas; Vojnar, Tomas; Antoš, David
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,40 €

Mathematical and Engineering Methods in Computer Science - 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Repub

Kucera, Antonin; Henzinger, Thomas A.; Nešetřil, Jaroslav; Vojnar, Tomas; Antos, David
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja