Hoppa till sidans huvudinnehåll

Mitsuhiro Okada – författare

Visar alla böcker från författaren Mitsuhiro Okada. Handla med fri frakt och snabb leverans.
7 produkter
Del 12300 - Lecture Notes in Computer Science

Logic, Language, and Security

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

AvVivek Nigam,Tajana Ban Kiriginm. fl.

Häftad, Engelska, 2020

869 kr

Skickas inom 10-15 vardagar

Waves and Tidal Flat Ecosystems

AvEiichi Baba,H. Kawaradam. fl.

Inbunden, Engelska, 2003

1 119 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 Piercem. fl.

Häftad, Engelska, 2003

729 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

729 kr

Skickas inom 10-15 vardagar

Formal to Practical Security

Papers Issued from the 2005-2008 French-Japanese Collaboration

AvVéronique Cortier,Claude Kirchnerm. fl.

Häftad, Engelska, 2009

729 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 Kikuchim. fl.

Inbunden, Engelska, 2022

2 239 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 Kikuchim. fl.

Häftad, Engelska, 2023

2 239 kr

Skickas inom 10-15 vardagar