Mitsuhiro Okada - Böcker
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
869 kr
Skickas inom 10-15 vardagar
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
729 kr
Skickas inom 10-15 vardagar
Conditional and Typed Rewriting Systems
2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
729 kr
Skickas inom 10-15 vardagar
Formal to Practical Security
Papers Issued from the 2005-2008 French-Japanese Collaboration
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
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
2 219 kr
Skickas inom 10-15 vardagar