12 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
2. 
Low-Power Design and Power-Aware Verification için kapak resmi
Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Yazar 
Khondkar, Progyna. author.
https://doi.org/10.1007/978-3-319-66619-8
Format: 
Electronic Resources
Alıntı: 
Operating systems (Computers).
5. 
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 Applications in Computer Science. http://scigraph.springernature.com/things/product
7. 
Understanding Control Flow Concurrent Programming Using μC++ için kapak resmi
Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Yazar 
Buhr, Peter A. author.
http://dx.doi.org/10.1007/978-3-319-25703-7
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters.
8. 
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ı: 
Operating systems (Computers).
9. 
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ı: 
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
10. 
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ı: 
Software Design for Resilient Computer Systems Schagaev, Igor. author.
Tümünü Seç
12 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Operating systems (Computers).
(8)
Computer science.
(7)
Computer software -- Reusability.
(4)
Quality Control, Reliability, Safety and Risk.
(3)
Software Engineering/Programming and Operating Systems.
(3)
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