প্রদর্শন 1 - 2 ফলাফল এর 2 অনুসন্ধানের জন্য 'Bjørner, Nikolaj', জিজ্ঞাসা করার সময়: 0.03সেকেন্ড ফলাফল পরিমার্জন করুন
1
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
অনুযায়ী Bjørner, Nikolaj, de Boer, Frank
প্রকাশিত 2015
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
2
Perspectives of System Informatics
অনুযায়ী Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei
প্রকাশিত 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
অনুসন্ধান সাধনীগুলি: আরএসএস প্রতিক্রিয়া পাওয়ার জন্য — এই ই-মেইলটি অনুসন্ধান করুন