Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Mitsuhiro Okada

Books by author

Mitsuhiro Okada

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

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

2022 · ENGLISH · PDF

View details →

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

2020 · ENGLISH · PDF

View details →

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

2003 · ENGLISH · PDF

View details →

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

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

2009 · ENGLISH · PDF

View details →

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

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

2009 · ENGLISH · PDF

View details →

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers

2003 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme