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: Frédéric Haziza 5 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Chirac ou la victoire en pleurant | Frederic Haziza | 2002 | Engelska |
| 2 | Le roman de la présidentielle | Frédéric. Haziza | c2001 | Franska |
| 3-4 | Few is Just Enough! - Small Model Theorem for Parameterized Verification and Shape Analysis (flera utgåvor) | Frédéric Haziza | 2015 | Engelska |
| 5 | An Integrated Specification and Verification Technique for Highly Concurrent Data Structures | ITALY Rome 2013 16-24 March 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Parosh Aziz Abdulla | 2013 | Engelska |
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.