Đang hiển thị 1 - 3 kết quả của 3 cho tìm kiếm 'Hermanns, Holger', Forespørselstid: 0.12s Tinh chỉnh kết quả
1
Measurement, Modelling and Evaluation of Computing Systems
af Hermanns, Holger
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
2
Computer Aided Verification
af Damm, Werner, Hermanns, Holger
Udgivet 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Få fuldtekst
Føj til favoritter
Đã lưu trong:
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 /
Udgivet 2001
Andre forfattere: “...Hermanns, Holger, 1967-...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Føj til favoritter
Đã lưu trong:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning