Mitsuhiro Okada | Akateeminen Kirjakauppa

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

Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10,

Okada, Mitsuhiro; Pierce, Benjamin; Scedrov, Andre; Tokuda, Hideyuki; Yonezawa, Akinori
Springer
2003
Pehmeäkantinen kirja

51,10 €

Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Kaplan, Stephane; Okada, Mitsuhiro
Springer
1991
Pehmeäkantinen kirja

51,10 €

Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration

Cortier, Véronique; Kirchner, Claude; Okada, Mitsuhiro; Sakurada, Hideki
Springer
2009
Pehmeäkantinen kirja

51,10 €

Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Nigam, Vivek; Ban Kirigin, Tajana; Talcott, Carolyn; Guttman, Joshua; Kuznetsov, Stepan; Thau Loo, Boon; Okada, Mitsuhiro
Springer
2020
Pehmeäkantinen kirja

61,10 €

Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September

Arai, Toshiyasu; Kikuchi, Makoto; Kuroda, Satoru; Okada, Mitsuhiro; Yorioka, Teruyuki
Springer
2022
Kovakantinen kirja

146,40 €

Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September

Arai, Toshiyasu; Kikuchi, Makoto; Kuroda, Satoru; Okada, Mitsuhiro; Yorioka, Teruyuki
Springer
2023
Pehmeäkantinen kirja

146,40 €

Waves and Tidal Flat Ecosystems

Baba, Eiichi; Kawarada, H.; Nishijima, W.; Okada, Mitsuhiro; Suito, H.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Kovakantinen kirja

125,70 €