Treffer 1 - 3 von 3 für Suche 'Hermanns, Holger', Suchdauer: 0,03s Treffer weiter einschränken
1
Measurement, Modelling and Evaluation of Computing Systems
von Hermanns, Holger
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
2
Computer Aided Verification
von Damm, Werner, Hermanns, Holger
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert 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 /
Veröffentlicht 2001
Weitere Verfasser: “...Hermanns, Holger, 1967-...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden