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 Johnsen 19 träffar

Titel Författare År Språk
1 Fundamental Approaches to Software Engineering Einar Broch Johnsen 2022 Engelska
2 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
3-4 Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings (flera utgåvor) 2017 Engelska
5 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
6 Formal Methods for Executable Software Models Marco Bernardo 2014 Okänt
7 Integrated Formal Methods - 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings Einar Broch. Johnsen 2013 Engelska
8 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
9 Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings 2017 Engelska
10 Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 Engelska
11 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
12 Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings 2018 Engelska
13 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
14 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
15 Integrated Formal Methods Einar Broch Johnsen 2013 Okänt
16 Formal Methods for Open Object-Based Distributed Systems Marcello M. Bonsangue 2007 Okänt
17 "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
18 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
19 Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings 2018 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.