Mitsuhiro Okada – författare

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

7 produkter

Kategorier

7 produkter

Del 12300
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
Waves and Tidal Flat Ecosystems
AvEiichi Baba,H. Kawaradam. fl.
Inbunden, Engelska, 2003
1 129 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 249 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 249 kr
Skickas inom 10-15 vardagar