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: Martín. Abadi 16 träffar

Titel Författare År Språk
1 La sécurité informatique / Martin Abadi Martín author Abadi uuuu-uuuu Okänt
2 A theory of objects / Martin Abadi, Luca Cardelli Martin Abadi uuuu-uuuu Okänt
3 CONCUR 2005 – Concurrency Theory - 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings Martín. Abadi 2005 Engelska
4 Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Martín. Abadi 2014 Engelska
5 sécurité informatique Martín Abadi 2011 Okänt
6 A theory of objects Martín Abadi cop. 1996 Engelska
7 Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers Martín. Abadi 2014 Engelska
8 CONCUR 2005 - Concurrency Theory - 16th International Conference, CONCUR 2005 : San Franscisco, CA, August 2005 : Proceedings 2005 Engelska
9 A Theory of Objects Luca Cardelli 1996 Okänt
10 sécurité informatique Martin Abadi 2013 Okänt
11 CONCUR 2005 Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings Martín Abadi 2005 Okänt
12 Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Martín Abadi 2014 Okänt
13 Theoretical Aspects of Computer Software Martín Abadi 1997 Engelska
14 Theoretical Aspects of Computer Software : Third International Symposium, TACS'97 Sendai, Japan, September 2326, 1997 Proceedings Martín Abadi uuuu-uuuu Okänt
15 Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers Martín Abadi 2014 Okänt
16 Theoretical aspects of computer software International Symposium on Theorethical Aspects of Computer Software 1997 : Sendai) cop. 1997 Engelska

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.