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: Gerard Berry 10 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | L'informatique du temps et des événements / Gerard Berry (flera utgåvor) | Gérard author. Berry | uuuu-uuuu | Okänt |
| 3-4 | Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 1822, 2001 Proceedings (flera utgåvor) | Gerard Berry | uuuu-uuuu | Okänt |
| 5 | informatique du temps et des événements | Gérard Berry | 2013 | Okänt |
| 6-7 | Computer aided verification - 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings (flera utgåvor) | International Conference on Computer Aided Verification 2001 : Paris) | cop. 2001 | Engelska |
| 8 | Informatics of Time and Events | Gérard Berry | 2015 | Okänt |
| 9 | Compiling Esterel electronic resource | Dumitru. Potop-Butucaru | 2007 | Engelska |
| 10 | Compiling Esterel | Dumitru Potop-Butucaru | 2007 | 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.