Mitsuhiro Okada – författare

Visar alla böcker från författaren Mitsuhiro Okada.

7 produkter

1. 

   Logic, Language, and Security

   Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

   Av Vivek Nigam, Tajana Ban Kirigin m. fl.

   Häftad, 2020

   889 kr

   Lägg i varukorg

2. 

   Waves and Tidal Flat Ecosystems

   Av Eiichi Baba, H. Kawarada m. fl.

   Inbunden, 2003

   1139 kr

   Lägg i varukorg

3. 

   Software Security -- Theories and Systems

   Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

   Av Mitsuhiro Okada, Benjamin Pierce m. fl.

   Häftad, 2003

   739 kr

   Lägg i varukorg

4. 

   Conditional and Typed Rewriting Systems

   2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

   Av Stephane Kaplan, Mitsuhiro Okada

   Häftad, 1991

   739 kr

   Lägg i varukorg

5. 

   Formal to Practical Security

   Papers Issued from the 2005-2008 French-Japanese Collaboration

   Av Véronique Cortier, Claude Kirchner m. fl.

   Häftad, 2009

   739 kr

   Lägg i varukorg

6. 

   Advances in Mathematical Logic

   Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

   Av Toshiyasu Arai, Makoto Kikuchi m. fl.

   Inbunden, 2022

   2269 kr

   Lägg i varukorg

7. 

   Advances in Mathematical Logic

   Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

   Av Toshiyasu Arai, Makoto Kikuchi m. fl.

   Häftad, 2023

   2269 kr

   Lägg i varukorg