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: Ina Schaefer 19 träffar

Titel Författare År Språk
1 Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Alexander Egyed 2015 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 Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Alexander. Egyed 2015 Engelska
4 Ernst Denert Award for Software Engineering 2022 Eric Bodden 2024 Engelska
5 Ernst Denert Award for Software Engineering 2019 Felderer 2020 Engelska
6 Ernst Denert Award for Software Engineering 2019 Michael Felderer 2020 Okänt
7 Ernst Denert Award for Software Engineering 2020 Michael Felderer 2022 Engelska
8 Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings Ina Schaefer 2014 Okänt
9 Formal Methods for Executable Software Models Marco Bernardo 2014 Okänt
10 Compositional Algorithmic Verification of Software Product Lines FMCO 2010; Graz; Austria; 29 November-1 December 2010 9th International Symposium on Formal Methods for Components and Objects Ina Schaefer 2010 Engelska
11 Proceedings of the 15th International Software Product Line Conference, Volume 2 Ina Schaefer uuuu-uuuu Okänt
12 Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming Concepts and Experiences / Ina Schaefer, Christoph Reichenbach, Tijs van der Storm Ina Schaefer uuuu-uuuu Okänt
13 Proceedings of the 4th International Workshop on Feature-Oriented Software Development Ina Schaefer uuuu-uuuu Okänt
14 Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems Ina. Schaefer 2017 Okänt
15 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems Ina Schaefer uuuu-uuuu Okänt
16 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems Ina Schaefer 2016 Engelska
17 Software Reuse for Dynamic Systems in the Cloud and Beyond - 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings Ina. Schaefer 2014 Engelska
18 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
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.