28 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
5. 
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings için kapak resmi
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Yazar 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Electronic Resources
Alıntı: 
: Resource Management and Energy Efficiency; Performance Analysis and Tools; Exascale Networks; Parallel
6. 
Lectures on Runtime Verification Introductory and Advanced Topics için kapak resmi
Lectures on Runtime Verification Introductory and Advanced Topics
Lectures on Runtime Verification Introductory and Advanced Topics
Yazar 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-5
Format: 
Electronic Resources
Alıntı: 
Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and
7. 
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings için kapak resmi
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Yazar 
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: 
Electronic Resources
Alıntı: 
named: types; program analysis; tools; functional programs and probabilistic programs; verification
11. 
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings için kapak resmi
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Yazar 
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-319-61470-0
Format: 
Electronic Resources
Alıntı: 
: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
12. 
Graph Data Management Fundamental Issues and Recent Developments için kapak resmi
Graph Data Management Fundamental Issues and Recent Developments
Graph Data Management Fundamental Issues and Recent Developments
Yazar 
Fletcher, George. editor.
https://doi.org/10.1007/978-3-319-96193-4
Format: 
Electronic Resources
Alıntı: 
which types of tools, techniques and technologies are available, which ones could best suit their needs
Tümünü Seç
28 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(28)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Lankes, Stefan. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Milutinovic, Veljko. author.
(2)
Format
Dil
Basım Yılı
2017
(13)
2018
(15)
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