Gösterilen 1 - 3 sonuçlar arası kayıtlar. 3 sonuç. Aranan kelime 'Hermanns, Holger', Sorgu süresi: 0.09s Sonuçları Daraltın
1
Measurement, Modelling and Evaluation of Computing Systems
Yazar: Hermanns, Holger
Baskı/Yayın Bilgisi 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
2
Computer Aided Verification
Yazar: Damm, Werner, Hermanns, Holger
Baskı/Yayın Bilgisi 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
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 /
Baskı/Yayın Bilgisi 2001
Diğer Yazarlar: “...Hermanns, Holger, 1967-...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Favorilerime ekle
Kaydedildi:
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder