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: Einar Broch 30 träffar

Titel Författare År Språk
1 Active Object Languages: Current Research Trends 2024 Okänt
2 Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures Marco. Bernardo 2014 Engelska
3 Formal Methods for Open Object-Based Distributed Systems electronic resource - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Marcello M. Bonsangue 2007 Engelska
4 Hot dry rock - report of the evaluation of Swedish research on hot dry rock Einar Broch 1994 Engelska
5 Point load testing of rocks Einar Broch 1971 Engelska
6 Active Object Languages : Current Research Trends Frank. de Boer 2024 Engelska
7 Underground powerhouses and high pressure tunnels Sverre Edvardsson 2002 Engelska
8 Integrated Formal Methods Einar Broch Johnsen 2013 Okänt
9 Godot - All the Benefits of Implicit and Explicit Futures 15-19 july 2019 UK London 33rd European Conference on Object-Oriented Programming (ECOOP 2019) Kiko Fernandez-Reyes 2019 Engelska
10 Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures 2015 Engelska
11 Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings 2022 Okänt
12 Hydropower '92 - proceedings of the 2nd International Conference on Hydropower, Lillehammer, Norway, 16-18 June 1992 International Conference on Hydropower 1992 : Lillehammer) 1992 Engelska
13 International Symposium on Rock Support - applied solutions for underground structures : Lillehammer, Norway, 22-25 June 1997 International Symposium on Rock Support (1997 : Lillehammer) 1997 Engelska
14 Fundamental Approaches to Software Engineering Einar Broch Johnsen 2022 Engelska
15 Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / editors, Einar Broch Johnsen, Manuel Wimmer Einar Broch Johnsen uuuu-uuuu Okänt
16 "Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings" Einar Broch Johnsen 2022 Okänt
17 Integrated Formal Methods - 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings Einar Broch. Johnsen 2013 Engelska
18 Formal Methods for Open Object-Based Distributed Systems Marcello M. Bonsangue 2007 Okänt
19 Formal Methods for Executable Software Models Marco Bernardo 2014 Okänt
20 Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures Marco Bernardo 2015 Okänt

1 2 Nästa sida

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.