It looks like you're offline.

Last edited by Mek

October 14, 2016 | History

Edit

Mitsuhiro Okada

We need a photo of Mitsuhiro Okada

4 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, and Teruyuki Yorioka First published in 2021 — 2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, and Hideki Sakurada First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

by Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, and Akinori Yonezawa First published in 2003 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Formal To Practical Security Papers Issued From The 20052008 Frenchjapanese Collaboration

by Mitsuhiro Okada First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Mitsuhiro Okada

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7303130A

Links outside Open Library

No links yet. Add one?

History

Created October 14, 2016
1 revision

Download catalog record: RDF / JSON

October 14, 2016

Created by Mek

Added new book.