4 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ç
0000DEFAULTTR
Yazdır
2. 
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings için kapak resmi
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Yazar 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686
https://doi.org/10.1007/978-3-319-62932-2
Format: 
Electronic Resources
Alıntı: 
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
3. 
Software Design for Resilient Computer Systems için kapak resmi
Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Yazar 
Schagaev, Igor. author.
http://dx.doi.org/10.1007/978-3-319-29465-0
Format: 
Electronic Resources
Alıntı: 
general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation
4. 
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ı: 
the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that
Tümünü Seç
4 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