Hoppa till sidans huvudinnehåll

Mitsuhiro Okada – författare

Visar alla böcker från författaren Mitsuhiro Okada.
7 produkter
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada - Logic, Language, and Security, Häftad
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

879 kr

Skickas inom 10-15 vardagar

Eiichi Baba, H. Kawarada, W. Nishijima, Mitsuhiro Okada, H. Suito - Waves and Tidal Flat Ecosystems, Inbunden

Waves and Tidal Flat Ecosystems

AvEiichi Baba,H. Kawaradam. fl.

Inbunden, Engelska, 2003

1 139 kr

Skickas inom 10-15 vardagar

Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa - Software Security -- Theories and Systems, Häftad

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

739 kr

Skickas inom 10-15 vardagar

Stephane Kaplan, Mitsuhiro Okada - Conditional and Typed Rewriting Systems, Häftad

Conditional and Typed Rewriting Systems

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

AvStephane Kaplan,Mitsuhiro Okada

Häftad, Engelska, 1991

739 kr

Skickas inom 10-15 vardagar

Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada - Formal to Practical Security, Häftad

Formal to Practical Security

Papers Issued from the 2005-2008 French-Japanese Collaboration

AvVéronique Cortier,Claude Kirchnerm. fl.

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar

Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka - Advances in Mathematical Logic, Inbunden

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 259 kr

Skickas inom 10-15 vardagar

Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka - Advances in Mathematical Logic, Häftad

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 259 kr

Skickas inom 10-15 vardagar