Đang hiển thị 1 - 3 kết quả của 3 cho tìm kiếm 'Hermanns, Holger', tempo de consulta: 0.03s Limitar resultados
1
Measurement, Modelling and Evaluation of Computing Systems
por Hermanns, Holger
Publicado 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
2
Computer Aided Verification
por Damm, Werner, Hermanns, Holger
Publicado 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ligazón do recurso
Engadir a favoritos
Gardado en:
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 /
Publicado 2001
Outros autores: “...Hermanns, Holger, 1967-...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Engadir a favoritos
Gardado en:
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura