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: Alessio Lomuscio
7 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Deontic logic in computer science - 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26 - 28, 2004 : proceedings
|
|
cop. 2004 |
Engelska |
| 2-3 |
Model Checking and Artificial Intelligence
(flera utgåvor)
|
Stefan. Edelkamp
|
2007 |
Engelska |
| 4 |
Model Checking and Artificial Intelligence
|
Stefan Edelkamp
|
2007 |
Okänt |
| 5 |
Service-Oriented Computing – ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
|
Alessio R. Lomuscio
|
2014 |
Engelska |
| 6 |
Service-Oriented Computing ICSOC 2013 Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
|
Alessio Lomuscio
|
2014 |
Okänt |
| 7 |
Logics of Knowledge and Cryptography - Completeness and Expressiveness
|
Mika Cohen
|
2007 |
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.