11 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ç
00000000000DEFAULTTR
Yazdır
2. 
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ı: 
Computer software -- Reusability.
5. 
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings için kapak resmi
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Yazar 
Lahiri, Shuvendu. editor.
https://doi.org/10.1007/978-3-319-67531-2
Format: 
Electronic Resources
Alıntı: 
are lightweight techniques to assess correctness, reliability, and robustness; these techniques are
6. 
Verification of Business Rules Programs için kapak resmi
Verification of Business Rules Programs
Verification of Business Rules Programs
Yazar 
Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: 
Electronic Resources
Alıntı: 
concern is the quality, safety, and reliability of the resulting programs. This book is on business rules
9. 
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings için kapak resmi
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Yazar 
Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
Format: 
Electronic Resources
Alıntı: 
Reliability -- Predicting Space Requirements for a Stream Monitor Specification Language -- A Stream-based
10. 
Modeling and Optimization in Space Engineering State of the Art and New Challenges için kapak resmi
Modeling and Optimization in Space Engineering State of the Art and New Challenges
Modeling and Optimization in Space Engineering State of the Art and New Challenges
Yazar 
Fasano, Giorgio. editor.
https://doi.org/10.1007/978-3-030-10501-3
Format: 
Electronic Resources
Alıntı: 
-- Nonparametric Importance Sampling Techniques for Sensitivity Analysis and Reliability Assessment of a Launcher
11. 
Towards Extensible and Adaptable Methods in Computing için kapak resmi
Towards Extensible and Adaptable Methods in Computing
Towards Extensible and Adaptable Methods in Computing
Yazar 
Chakraverty, Shampa. editor.
https://doi.org/10.1007/978-981-13-2348-5
Format: 
Electronic Resources
Alıntı: 
Comparative Analysis -- Chapter 5. Software Reliability assessment using Deep Learning Technique -- Chapter 6
Tümünü Seç
11 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Computer science.
(9)
Computer programming.
(7)
Software engineering.
(7)
Programming Languages, Compilers, Interpreters.
(6)
Algorithm Analysis and Problem Complexity.
(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