Søgning på underkategorier- og emner:
This bookconstitutes the refereed proceedings of the 12th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 13th International... Læs mere
This book constitutes the refereed proceedings of the 10th International... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions.
This book constitutes revised selected papers from the18th Brazilian... Læs mere
This book constitutes the refereed proceedings of the 19th Brazilian Symposium... Læs mere
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.