Mitsuhiro Okada - Böcker
Logic, Language, and Security
Av Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
Häftad, Engelska, 2020
879 kr
Waves and Tidal Flat Ecosystems
Av Eiichi Baba, H. Kawarada, W. Nishijima, Mitsuhiro Okada, H. Suito, E. Baba, Hideo Kawarada
Inbunden, Engelska, 2003
1 139 kr
Software Security -- Theories and Systems
Av Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa
Häftad, Engelska, 2003
739 kr
Conditional and Typed Rewriting Systems
Häftad, Engelska, 1991
739 kr
Formal to Practical Security
Av Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, V. Ronique Cortier
Häftad, Engelska, 2009
739 kr
Advances in Mathematical Logic
Av Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
Inbunden, Engelska, 2022
2 229 kr
Advances in Mathematical Logic
Av Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
Häftad, Engelska, 2023
2 249 kr