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: Bernhard. Steffen 266 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 261 | Tools and algorithms for the construction and analysis of systems | International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1996) Passau : | cop. 1996 | Engelska |
| 262 | Tools and Algorithms for the Construction and Analysis of Systems | 1995 | Engelska | |
| 263 | Tools and Algorithms for the Construction and Analysis of Systems | TACAS '96 | 1996 | Engelska |
| 264 | Transactions on Foundations for Mastering Change I | 2016 | Engelska | |
| 265 | Transactions on Foundations for Mastering Change I | 2016 | Okänt | |
| 266 | Verification, model checking, and abstract interpretation. - 5th international conference proceedings | 2004 | Tyska |
Förra sidan 10 11 12 13 14
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.