394 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ç
000000000000DEFAULTTR
Yazdır
2. 
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings için kapak resmi
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Yazar 
Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Electronic Resources
Alıntı: 
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17
3. 
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
10. 
Methods and Models in Mathematical Programming için kapak resmi
Methods and Models in Mathematical Programming
Methods and Models in Mathematical Programming
Yazar 
MirHassani, S. A. author.
https://doi.org/10.1007/978-3-030-27045-2
Format: 
Electronic Resources
Alıntı: 
Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies
11. 
27th International Meshing Roundtable için kapak resmi
27th International Meshing Roundtable
27th International Meshing Roundtable
Yazar 
Roca, Xevi. editor.
https://doi.org/10.1007/978-3-030-13992-6
Format: 
Electronic Resources
Alıntı: 
Computer science—Mathematics.
Tümünü Seç
394 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(393)
Karczewski, Konrad. editor.
(5)
Margaria, Tiziana. editor.
(5)
Ao, Sio-Iong. editor.
(4)
Duan, Zhenhua. editor.
(4)
Format
Dil
English
(394)
Basım Yılı
Konu
Computer science.
(307)
Mathematical Logic and Formal Languages.
(272)
Logics and Meanings of Programs.
(227)
Mathematical logic.
(179)
Computer logic.
(163)
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