Zobrazuji výsledky 1 - 3 z 3 pro vyhledávání 'Hermanns, Holger', doba hledání: 0,05 s. Upřesnit hledání
1
Measurement, Modelling and Evaluation of Computing Systems
Autor Hermanns, Holger
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
2
Computer Aided Verification
Autor Damm, Werner, Hermanns, Holger
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
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 /
Vydáno 2001
Další autoři: “...Hermanns, Holger, 1967-...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem