Showing 1 - 3 results of 3 for search 'Hermanns, Holger', query time: 0.09s Refine Results
1
Measurement, Modelling and Evaluation of Computing Systems
by Hermanns, Holger
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
2
Computer Aided Verification
by Damm, Werner, Hermanns, Holger
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
3
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Published 2001
Other Authors: “...Hermanns, Holger, 1967-...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search