for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 8th International Conference... Læs mere
This book constitutes the refereed proceedings of the 4th International Conference... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes the refereed proceedings of the 20th International Symposium on... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
This book constitutes the refereed proceedings of the 13th International Conference on Formal... Læs mere
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.