Mitsuhiro Okadaの本 - BookPine

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics)

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised ... Proceedings in Mathematics & Statistics)

Toshiyasu Arai

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

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

Vivek Nigam

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

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

Véronique Cortier

Images and Reasoning

Images and Reasoning

Pierre Grialou

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

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

Mitsuhiro Okada