Søkt på: Søkeresultat
totalt 11 treff
Structured Object-Oriented Formal Language and Method
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, …
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held …
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL …
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, …
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held …
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held …
Structured Object-Oriented Formal Language and Method
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in …
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, …
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in …
Biometric Recognition
Recognition, CCBR 2017, held in Shenzhen, China, in October 2017. The 15 full papers and 65 poster papers presented in this book were carefully reviewed and selected from 138 …
Verification and Evaluation of Computer and Communication Systems
This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to …