Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Mitsuhiro Okada
9 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
|
|
2021 |
Okänt |
| 2 |
Conditional and typed rewriting systems
|
International Workshop on Conditional and Typed Rewriting Systems 1990) Montreal :
|
cop. 1991 |
Engelska |
| 3 |
Conditional and Typed Rewriting Systems
|
International CTRS Workshop
|
1991 |
Engelska |
| 4 |
Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration
|
Véronique. Cortier
|
2009 |
Engelska |
| 5 |
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
|
|
2020 |
Okänt |
| 6 |
Software Security Theories and Systems: Mext-NSF-JSPS International Symposium
|
Mitsuhiro Okada
|
uuuu-uuuu |
Okänt |
| 7-8 |
Software security - theories and systems - Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers
(flera utgåvor)
|
Japan) ISSS 2002 (2002 : Tokyo
|
cop. 2003 |
Engelska |
| 9 |
Formal to Practical Security
|
Véronique Cortier
|
2009 |
Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.