5 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ç
00000DEFAULTTR
Yazdır
1. 
Privately and Publicly Verifiable Computing Techniques A Survey için kapak resmi
Privately and Publicly Verifiable Computing Techniques A Survey
Privately and Publicly Verifiable Computing Techniques A Survey
Yazar 
Demirel, Denise. author.
https://doi.org/10.1007/978-3-319-53798-6
Format: 
Electronic Resources
Alıntı: 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
2. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
4. 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Yazar 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
5. 
Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach için kapak resmi
Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Yazar 
Parkinson, Simon. editor. (orcid)0000-0002-1747-9914
https://doi.org/10.1007/978-3-319-92624-7
Format: 
Electronic Resources
Alıntı: 
of Computational Mathematics in the School of Computing and Engineering, and the Associate Dean for
Tümünü Seç
5 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
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