| |

avaa valikko

theoremproving | Akateeminen Kirjakauppa

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

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November

Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November

51,10 €

Advances in Cryptology – EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic T

Oswald, Elisabeth; Fischlin, Marc
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

Advances in Cryptology – EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic T

100,90 €

Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien

Klein, Gerwin; Gamboa, Ruben
Springer International Publishing AG
2014
Pehmeäkantinen kirja

Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien

51,10 €