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: Rupak Majumdar 15 träffar

Titel Författare År Språk
1 Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings David. Hutchison 2008 Engelska
2 Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings Rupak. Majumdar 2009 Engelska
3 Tools and Algorithms for the Construction and Analysis of Systems - 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Javier. Esparza 2010 Engelska
4-5 Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (flera utgåvor) 2017 Engelska
6 Runtime Verification - 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings 2015 Engelska
7 Fair termination for parameterized probabilistic concurrent systems Sweden Uppsala April 22–29 TACAS 2017 Ondrej Lengál 2017 Engelska
8 Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) US. New York City 2019 July 13-18 31st International Conference on Computer-Aided Verification Chih-Duo Hong 2019 Engelska
9 Model Checking Software Klaus Havelund 2008 Okänt
10 Tools and Algorithms for the Construction and Analysis of Systems Javier Esparza 2010 Okänt
11 Hybrid Systems: Computation and Control Rupak Majumdar 2009 Okänt
12 Networked Systems: 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings Chryssis Georgiou 2021 Okänt
13 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings 2017 Okänt
14 Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings 2015 Okänt
15 Computer Aided Verification 2017 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.