2 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00DEFAULTTR
Yazdır
1. 
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior için kapak resmi
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Yazar 
Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: 
Electronic Resources
Alıntı: 
Progress in Computer Science and Applied Logic,
2. 
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures için kapak resmi
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures
Yazar 
Doberkat, Ernst-Erich. author.
http://dx.doi.org/10.1007/978-3-319-22750-4
Format: 
Electronic Resources
Alıntı: 
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
Tümünü Seç
2 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope