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: Taiwan) (2004 ATVA 2004 Taipei
4 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / edited by Farn Wang
|
Taiwan) (2004 ATVA 2004 Taipei
|
uuuu-uuuu |
Okänt |
2 |
Automated Technology for Verification and Analysis electronic resource : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / edited by Farn Wang
|
Taiwan) (2004 ATVA 2004 Taipei
|
uuuu-uuuu |
Okänt |
3 |
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (eds.)
|
Taiwan) (2005 ATVA 2005 Taipei
|
uuuu-uuuu |
Okänt |
4 |
Automated Technology for Verification and Analysis electronic resource : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung
|
Taiwan) (2011 ATVA 2011 Taipei
|
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.