26 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
1. 
Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings için kapak resmi
Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Yazar 
Greuel, Gert-Martin. editor.
http://dx.doi.org/10.1007/978-3-319-42432-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016
3. 
More Math Into LaTeX için kapak resmi
More Math Into LaTeX
More Math Into LaTeX
Yazar 
Grätzer, George. author.
http://dx.doi.org/10.1007/978-3-319-23796-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Software.
6. 
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
8. 
Automatic Generation of Combinatorial Test Data için kapak resmi
Automatic Generation of Combinatorial Test Data
Automatic Generation of Combinatorial Test Data
Yazar 
Zhang, Jian. author.
http://dx.doi.org/10.1007/978-3-662-43429-1
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
10. 
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ı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
11. 
The Symbolic Computation of Integrability Structures for Partial Differential Equations için kapak resmi
The Symbolic Computation of Integrability Structures for Partial Differential Equations
The Symbolic Computation of Integrability Structures for Partial Differential Equations
Yazar 
Krasil'shchik, Joseph. author.
https://doi.org/10.1007/978-3-319-71655-8
Format: 
Electronic Resources
Alıntı: 
integrability structures that allows to treat all of them in a unified way. The software is an official package
Tümünü Seç
26 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(26)
Bielova, Nataliia. editor.
(2)
Caballero, Juan. editor.
(2)
Piessens, Frank. editor.
(2)
Angulo, Jesús. editor.
(1)
Format
Dil
Basım Yılı
Konu
Computer science.
(20)
Software engineering.
(15)
Computer science -- Mathematics.
(12)
Discrete Mathematics in Computer Science.
(10)
Algorithm Analysis and Problem Complexity.
(9)
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