Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 24th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 15th International Workshop... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 12th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed proceedings of the 4th... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 11th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM... Læs mere
Bemærk: Kan ikke leveres før jul.
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering;
Bemærk: Kan ikke leveres før jul.
This volume contains papers presented at UTP 2019, the 7th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 13th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-conference proceedings of... Læs mere