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: Sarbojit Das 6 träffar

Titel Författare År Språk
1 Parsimonious Optimal Dynamic Partial Order Reduction CANADA Montreal 2024 JUN 24-27 36th International Conference on Computer-Aided Verification (CAV) Parosh Aziz Abdulla 2024 Engelska
2 Parsimonious Optimal Dynamic Partial Order Reduction ArXiv Parosh Abdulla 2024 Engelska
3 Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs ArXiv Parosh Abdulla 2023 Engelska
4 Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs 2023 October 24–27 Singapore ATVA 2023 21st International Symposium Parosh Abdulla 2023 Engelska
5-6 Practical Adaptations and Improvements of Stateless Model Checking (flera utgåvor) Sarbojit Das 2025 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.