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: Alessandro. Armando
8 träffar
|
Titel |
Författare |
År |
Språk |
1-2 |
Frontiers of combining systems - 4th international workshop FroCoS 2002, Santa Margherita Ligure, Italy, April 8 - 10, 2002 : proceedings
(flera utgåvor)
|
International Workshop on Frontiers of Combining Systems 2002 : Santa Margherita Ligure)
|
cop. 2002 |
Engelska |
3 |
Automated Reasoning electronic resource - 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
|
Jaime G. Carbonell
|
2008 |
Engelska |
4 |
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
|
Alessandro. Armando
|
2011 |
Engelska |
5 |
Next Generation CERTs
|
Alessandro Armando
|
2019 |
Okänt |
6 |
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 810, 2002 Proceedings
|
Alessandro Armando
|
uuuu-uuuu |
Okänt |
7 |
Automated Reasoning
|
Alessandro Armando
|
2008 |
Okänt |
8 |
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers
|
|
2010 |
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.