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
25 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 |
Active Object Languages : Current Research Trends
|
Frank. de Boer
|
2024 |
Engelska |
| 5 |
Integrated Formal Methods
|
Einar Broch Johnsen
|
2013 |
Okänt |
| 6 |
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 |
| 7 |
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 |
| 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
|
|
2022 |
Okänt |
| 9 |
Fundamental Approaches to Software Engineering
|
Einar Broch Johnsen
|
2022 |
Engelska |
| 10 |
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 |
| 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"
|
Einar Broch Johnsen
|
2022 |
Okänt |
| 12 |
Integrated Formal Methods - 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
|
Einar Broch. Johnsen
|
2013 |
Engelska |
| 13 |
Formal Methods for Open Object-Based Distributed Systems
|
Marcello M. Bonsangue
|
2007 |
Okänt |
| 14 |
Formal Methods for Executable Software Models
|
Marco Bernardo
|
2014 |
Okänt |
| 15 |
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 |
| 16-17 |
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 |
| 18-19 |
Service-Oriented and Cloud Computing
(flera utgåvor)
|
|
2017 |
Okänt |
| 20 |
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 |
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.