Søkt på: Søkeresultat
totalt 8 treff
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 …
Advances in Computation and Intelligence
VolumesofLNCS 5821andCCIS51aretheproceedingsofthe 4thInternational Symposium on Intelligence Computation and Applications (ISICA 2009) held in Huangshi, China, October 23-25, 2009. …
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 …
Theory and Applications of Models of Computation
Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together researchers working in computer …
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 thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held …
Verification and Evaluation of Computer and Communication Systems
This book constitutes the proceedings of the 14th International Conference on Veri?cation and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be …
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 …