Showing 1 - 2 results of 2 for search '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
पूर्ण पाठ प्राप्त करें
सूची में सहेजें
में बचाया:
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें