Zoeken

U zocht naar: Auteur Okada, Mitsuhiro Filter Auteur: Okada, Mitsuhiro weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
thumbnail
Full text!
Auteur:
Arai, Toshiyasu.; Kikuchi, Makoto; Kuroda, Satoru; Okada, Mitsuhiro; Yorioka, Teruyuki
Uitgever:
Singapore Springer Singapore Pte. Limited 2022
Type:
e-book
2. Formal to Practical Security
thumbnail
Full text!
Auteur:
Cortier, Véronique; Kanade, Takeo; Kirchner, Claude; Okada, Mitsuhiro; Sakurada, Hideki
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
3. Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
thumbnail
Full text!
Auteur:
Nigam; Ban Kirigin, Tajana; Guttman, Joshua; Kuznetsov, Stepan; Okada, Mitsuhiro; Talcott, Carolyn; Thau Loo, Boon
Uitgever:
Springer International Publishing 2020
Type:
e-book