29 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
7. 
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet için kapak resmi
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Yazar 
Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713
https://doi.org/10.1007/978-3-030-16272-6
Format: 
Electronic Resources
Alıntı: 
Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market
8. 
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings için kapak resmi
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Yazar 
Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product
9. 
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings için kapak resmi
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Yazar 
Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product
12. 
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings için kapak resmi
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Yazar 
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
https://doi.org/10.1007/978-3-319-66107-0
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product
Tümünü Seç
29 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(29)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Format
Dil
Basım Yılı
Konu
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope