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: Parosh Aziz Abdulla 25 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 21 | Model Checking of Software Systems under Weak Memory Models | Tuan-Phong Ngo | 2019 | Engelska |
| 22 | Reachability Problems | Parosh Aziz Abdulla | 2013 | Okänt |
| 23 | Parameterized Systems - Generalizing and Simplifying Automatic Verification | Ahmed Rezine | 2008 | Engelska |
| 24 | Verification of networks of communicating processes - Reachability problems and decidability issues | Othmane Rezine | 2017 | Engelska |
| 25 | Concurrent Stochastic Lossy Channel Games | Italy Naples 2024 February 19-23 32nd EACSL Annual Conference on Computer Science Logic (CSL) Daniel Stan | 2024 | Engelska |
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.