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
15 träffar
|
Titel |
Författare |
År |
Språk |
1 |
A theory of objects
|
Martín Abadi
|
cop. 1996 |
Engelska |
2 |
Theoretical aspects of computer software
|
International Symposium on Theorethical Aspects of Computer Software 1997 : Sendai)
|
cop. 1997 |
Engelska |
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 |
CONCUR 2005 - Concurrency Theory - 16th International Conference, CONCUR 2005 : San Franscisco, CA, August 2005 : Proceedings
|
|
2005 |
Engelska |
5 |
Theoretical Aspects of Computer Software
|
Martín Abadi
|
1997 |
Engelska |
6 |
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 |
7 |
CONCUR 2005 Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
|
Martín Abadi
|
2005 |
Okänt |
8 |
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
|
Martín. Abadi
|
2014 |
Engelska |
9 |
sécurité informatique
|
Martín Abadi
|
2011 |
Okänt |
10 |
sécurité informatique
|
Martin Abadi
|
2013 |
Okänt |
11 |
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97 Sendai, Japan, September 2326, 1997 Proceedings
|
Martín Abadi
|
uuuu-uuuu |
Okänt |
12 |
A Theory of Objects
|
Luca Cardelli
|
1996 |
Okänt |
13 |
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 |
14 |
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
|
Martín Abadi
|
2014 |
Okänt |
15 |
A theory of objects / Martin Abadi, Luca Cardelli
|
Martin Abadi
|
uuuu-uuuu |
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.