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: Othmane Rezine 4 träffar

Titel Författare År Språk
1 Verification of Directed Acyclic Ad Hoc Networks Italy Florence 2013 June 3-5 Formal Techniques for Distributed Systems (FORTE 2013) Parosh Aziz Abdulla 2013 Engelska
2 Verification of Dynamic Register Automata December 15–17 2014. India New Delhi IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Parosh Aziz Abdulla 2014 Engelska
3-4 Verification of networks of communicating processes - Reachability problems and decidability issues (flera utgåvor) Othmane Rezine 2017 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.