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: Marsha Chechik 13 träffar

Titel Författare År Språk
1-2 Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings (flera utgåvor) Marsha. Chechik uuuu-uuuu Okänt
3 Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings Marsha. Chechik 2023 Engelska
4 Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Marsha. Chechik 2009 Engelska
5 "Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings" Marsha Chechik 2009 Okänt
6 Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings 2023 Okänt
7 CONCUR 2008 - Concurrency Theory Franck Breugel 2008 Okänt
8 CONCUR 2008 - Concurrency Theory - 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings David. Hutchison 2008 Engelska
9 Fundamental Approaches to Software Engineering Marsha Chechik 2009 Okänt
10 Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016 Engelska
11 Tools and Algorithms for the Construction and Analysis of Systems 2016 Okänt
12 Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers 2016 Engelska
13 Verified Software. Theories, Tools, and Experiments 2016 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.