প্রদর্শন 1 - 3 ফলাফল এর 3 অনুসন্ধানের জন্য 'Hermanns, Holger', জিজ্ঞাসা করার সময়: 0.14সেকেন্ড ফলাফল পরিমার্জন করুন
1
Measurement, Modelling and Evaluation of Computing Systems
অনুযায়ী Hermanns, Holger
প্রকাশিত 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
2
Computer Aided Verification
অনুযায়ী Damm, Werner, Hermanns, Holger
প্রকাশিত 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
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 /
প্রকাশিত 2001
অন্যান্য লেখক: “...Hermanns, Holger, 1967-...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
অনুসন্ধান সাধনীগুলি: আরএসএস প্রতিক্রিয়া পাওয়ার জন্য — এই ই-মেইলটি অনুসন্ধান করুন