32 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. 
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings için kapak resmi
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Yazar 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Electronic Resources
Alıntı: 
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11
4. 
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ı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
9. 
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ı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
11. 
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings için kapak resmi
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Yazar 
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
https://doi.org/10.1007/978-3-030-34175-6
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market
12. 
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ı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Tümünü Seç
32 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(32)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Margaria, Tiziana. editor.
(2)
Steffen, Bernhard. editor.
(2)
Format
Dil
Basım Yılı
2017
(6)
2018
(13)
2019
(13)
Konu
Software engineering.
(29)
System Performance and Evaluation.
(23)
Logics and Meanings of Programs.
(22)
Computer industry.
(19)
Programming Languages, Compilers, Interpreters.
(17)
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