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: Heike Wehrheim 8 träffar

Titel Författare År Språk
1-2 Formal Methods for Open Object-Based Distributed Systems (flera utgåvor) Roberto. Gorrieri 2006 Engelska
3 Integrated Formal Methods - 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Michael. Leuschel 2009 Engelska
4 Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings 2015 Engelska
5 Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Michael Leuschel 2009 Okänt
6 Formal Methods for Open Object-based Distributed Systems: 8Th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : Proceedings (Lecture notes in computer science 4037) Roberto Gorrieri 2006 Okänt
7 Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Heike Wehrheim, Jordi Cabot Heike Wehrheim uuuu-uuuu Okänt
8 Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday Oldenburg, Germany, September 8-9, 2015. Proceedings 2015 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.