for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 10th International Symposium on... Læs mere
This book constitutes the proceedings of the 9th International Workshop on Frontiers in Algorithmics,... Læs mere
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 proceedings of the 9th International Symposiumon Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz,Austria, in March 2016.
The papers present current research from a thriving theoretical community and a rapidly... Læs mere
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.
This book constitutes the proceedings of the 35th IFIP WG 6.1... Læs mere
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.