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: Thomas A. Henzinger 23 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 21 | Computer Science Logic | Jacques Duparc | 2007 | Okänt |
| 22 | Mathematical and Engineering Methods in Computer Science | Antonin Kucera | 2013 | Okänt |
| 23 | Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings | Krishnendu Chatterjee | 2010 | Okänt |
Förra sidan 1 2
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.