লেখক অনুসন্ধানের ফলাফল

1

Types for Proofs and Programs

Types for Proofs and Programs

অনুযায়ী Miculan, Marino, Scagnetto, Ivan, Honsell, Furio
প্রকাশিত 2020

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

সম্পূর্ণ পাঠ পাওয়ার জন্য

2

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

প্রকাশিত 2001

অন্যান্য লেখক: “...Honsell, Furio....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

3

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

প্রকাশিত 2001

অন্যান্য লেখক: “...Honsell, Furio....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Notice: fwrite(): write of 1186 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_us91uj14p1nqnos9on2rh42tb8
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235