Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Tahar, Sofiène', Sorgu süresi: 0.07s Sonuçları Daraltın
1
Theorem Proving in Higher Order Logics
Yazar: Mohamed, Otmane Ait, Munoz, César, Tahar, Sofiène
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
Verification and Evaluation of Computer and Communication Systems
Yazar: Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène
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:
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder