Mitsuhiro Okada

No bio available. Add one in Open Library.

Books by Mitsuhiro Okada (50 max)

+ shelf+ list

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

2021

Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka

+ shelf+ list

貞丈雜記／

1952

Sadatake Ise, Sadatomo Ise, 千賀春城, Mitsuhiro Okada

+ shelf+ list

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

2003

Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa

+ shelf+ list

Formal To Practical Security Papers Issued From The 20052008 Frenchjapanese Collaboration

2009

Mitsuhiro Okada

+ shelf+ list

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

2009

Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada