Hoppa till sidans huvudinnehåll

Mitsuhiro Okada - Böcker

Visar alla böcker från författaren Mitsuhiro Okada.
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 Kirigin,Carolyn Talcott,Joshua Guttman,Stepan Kuznetsov,Boon Thau Loo,Mitsuhiro Okada

Häftad, Engelska, 2020

869 kr

Skickas inom 10-15 vardagar

Waves and Tidal Flat Ecosystems

AvEiichi Baba,H. Kawarada,W. Nishijima,Mitsuhiro Okada,H. Suito

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 Pierce,Andre Scedrov,Hideyuki Tokuda,Akinori Yonezawa

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 Kirchner,Mitsuhiro Okada,Hideki Sakurada,V. Ronique Cortier

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 Kikuchi,Satoru Kuroda,Mitsuhiro Okada,Teruyuki Yorioka

Inbunden, Engelska, 2022

2 219 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,Satoru Kuroda,Mitsuhiro Okada,Teruyuki Yorioka

Häftad, Engelska, 2023

2 219 kr

Skickas inom 10-15 vardagar