Personensuche
X
?
Proceedings of the 52nd International Conference on Parallel Processing ,
1
Parallel Order-Based Core Maintenance in Dynamic Graphs:
, In:
?
Indigenous Water and Drought Management in a Changing World; Current Directions in Water Scarcity Research ,
3
Striving toward reconciliation through the co-creation of w..:
, In:
?
Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2 ,
4
Universal Design of Interactive Mathematical Notebooks on P..:
, In:
?
10
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12232
?
11
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12233
?
Formal Methods Teaching; Lecture Notes in Computer Science ,
12
Teaching Concurrency with the Disappearing Formal Method:
, In:
?
Mobile Technologies and Applications for the Internet of Things; Advances in Intelligent Systems and Computing ,
13