56 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. 
Compatible Finite Element Methods for Geophysical Flows Automation and Implementation Using Firedrake için kapak resmi
Compatible Finite Element Methods for Geophysical Flows Automation and Implementation Using Firedrake
Compatible Finite Element Methods for Geophysical Flows Automation and Implementation Using Firedrake
Yazar 
Gibson, Thomas H. author.
https://doi.org/10.1007/978-3-030-23957-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Software. https://scigraph.springernature.com/ontologies/product-market-codes/M14042
2. 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Electronic Resources
Alıntı: 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22
4. 
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
5. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
7. 
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab için kapak resmi
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Yazar 
de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
8. 
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. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Tümünü Seç
56 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(56)
Blanchette, Jasmin Christian. editor.
(2)
Furia, Carlo A. editor.
(2)
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
(2)
Marques, Osni. editor.
(2)
Format
Dil
Basım Yılı
Konu
Computer simulation.
(56)
Software engineering.
(42)
Computer science.
(39)
Mathematical Logic and Formal Languages.
(32)
Logics and Meanings of Programs.
(28)
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