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 8 träffar

Titel Författare År Språk
1 Conditional and typed rewriting systems International Workshop on Conditional and Typed Rewriting Systems 1990) Montreal : cop. 1991 Engelska
2-3 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
4 Conditional and Typed Rewriting Systems International CTRS Workshop 1991 Engelska
5 Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration Véronique. Cortier 2009 Engelska
6 Formal to Practical Security Véronique Cortier 2009 Okänt
7 Software Security Theories and Systems: Mext-NSF-JSPS International Symposium Mitsuhiro Okada uuuu-uuuu Okänt
8 Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday 2020 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.