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 |
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems
|
Ina. Schaefer
|
2017 |
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 Executable Software Models
|
Marco Bernardo
|
2014 |
Okänt |
| 4 |
Proceedings of the 15th International Software Product Line Conference, Volume 2
|
Ina Schaefer
|
uuuu-uuuu |
Okänt |
| 5 |
Proceedings of the 4th International Workshop on Feature-Oriented Software Development
|
Ina Schaefer
|
uuuu-uuuu |
Okänt |
| 6 |
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
|
Ina Schaefer
|
uuuu-uuuu |
Okänt |
| 7 |
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 |
| 8 |
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 |
| 9 |
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
|
Ina Schaefer
|
2016 |
Engelska |
| 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 |
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 |
| 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 |
Ernst Denert Award for Software Engineering 2019
|
Michael Felderer
|
2020 |
Okänt |
| 14 |
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 |
| 15 |
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 |
| 16 |
Ernst Denert Award for Software Engineering 2022
|
Eric Bodden
|
2024 |
Engelska |
| 17 |
Ernst Denert Award for Software Engineering 2019
|
Felderer
|
2020 |
Engelska |
| 18 |
Ernst Denert Award for Software Engineering 2020
|
Michael Felderer
|
2022 |
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.