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: Ahmed. Bouajjani 12 träffar

Titel Författare År Språk
1 Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings Ahmed Bouajjani uuuu-uuuu Okänt
2 Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings Ahmed Bouajjani 2009 Okänt
3 Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings 2022 Okänt
4 Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings Ahmed. Bouajjani 2010 Engelska
5 Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings Ahmed. Bouajjani uuuu-uuuu Okänt
6 Computer Aided Verification - 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings Ahmed. Bouajjani 2009 Engelska
7 Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings 2017 Engelska
8 Formal Techniques for Distributed Objects, Components, and Systems 2017 Okänt
9 Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015, Revised Selected Papers Hugues Fauconnier 2015 Okänt
10 Verifying Absence of ∞ Loops in Parameterized Protocols Mayank Saksena 2008 Engelska
11 Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings 2017 Engelska
12 Verification, Model Checking, and Abstract Interpretation 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.