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: Maurice H. Beek 9 träffar

Titel Författare År Språk
1 Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers Maurice H. Beek 2013 Engelska
2 Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings 2016 Engelska
3 Critical Systems: Formal Methods and Automated Verification 2016 Okänt
4-5 Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings (flera utgåvor) Maurice H. ter Beek uuuu-uuuu Okänt
6-7 Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (flera utgåvor) Maurice H. ter Beek uuuu-uuuu Okänt
8 Web Services and Formal Methods Maurice H. ter Beek 2013 Okänt
9 Architecting Dependable Systems VI Rogério de Lemos 2009 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.