Hoppa till sidans huvudinnehåll

Mitsuhiro Okada - Böcker

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

Logic, Language, and Security

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

AvVivek Nigam,Tajana Ban Kirigin m. fl.

Häftad, Engelska, 2020

839 kr

Skickas inom 10-15 vardagar

Waves and Tidal Flat Ecosystems

AvEiichi Baba,H. Kawarada m. fl.

Inbunden, Engelska, 2003

1 099 kr

Skickas inom 10-15 vardagar

Software Security -- Theories and Systems

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

AvMitsuhiro Okada,Benjamin Pierce m. fl.

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar

Conditional and Typed Rewriting Systems

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

AvStephane Kaplan,Mitsuhiro Okada

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Formal to Practical Security

Papers Issued from the 2005-2008 French-Japanese Collaboration

AvVéronique Cortier,Claude Kirchner m. fl.

Häftad, Engelska, 2009

709 kr

Skickas inom 10-15 vardagar

Advances in Mathematical Logic

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

AvToshiyasu Arai,Makoto Kikuchi m. fl.

Inbunden, Engelska, 2022

2 139 kr

Skickas inom 10-15 vardagar

Advances in Mathematical Logic

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

AvToshiyasu Arai,Makoto Kikuchi m. fl.

Häftad, Engelska, 2023

2 139 kr

Skickas inom 10-15 vardagar