Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Formal Modeling and Analysis of Timed Systems
E-bok,
2019,
Engelska,
ISBN 9783030296629
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The …
Recent Research on Geomorphology, Sedimentology, Marine Geosciences and Geochemistry
E-bok,
2022,
Engelska,
ISBN 9783030725471
This edited book is based on the papers accepted for presentation during the 2nd Springer Conference of the Arabian Journal of Geosciences (CAJG-2), Tunisia, in 2019. Major …