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: Javier. Esparza 25 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 21 | Unfoldings electronic resource : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko | Javier. author. Esparza | uuuu-uuuu | Okänt |
| 22 | Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings | 2002 | Okänt | |
| 23 | Foundations of Software Science and Computation Structures | 2017 | Okänt | |
| 24 | Automata Theory : An Algorithmic Approach | Javier. Esparza | uuuu-uuuu | Okänt |
| 25 | Finite and Algorithmic Model Theory | 2011 | 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.