33 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. 
Software Fault Detection and Correction: Modeling and Applications için kapak resmi
Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Yazar 
Peng, Rui. author.
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Modeling and Industrial Mathematics. http://scigraph.springernature.com/things/product
5. 
Transactions on Modularity and Composition I için kapak resmi
Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Yazar 
Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-46969-0
Format: 
Electronic Resources
Alıntı: 
Simulation and Modeling.
6. 
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ı: 
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
7. 
High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip için kapak resmi
High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
Yazar 
Wang, Zheng. author.
https://doi.org/10.1007/978-981-10-1073-6
Format: 
Electronic Resources
Alıntı: 
This book introduces a novel framework for accurately modeling the errors in nanoscale CMOS
8. 
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings için kapak resmi
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Yazar 
Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
Format: 
Electronic Resources
Alıntı: 
detection; modeling and specification formalisms; model-based development; model-based testing; requirement
12. 
5G Wireless Systems Simulation and Evaluation Techniques için kapak resmi
5G Wireless Systems Simulation and Evaluation Techniques
5G Wireless Systems Simulation and Evaluation Techniques
Yazar 
Yang, Yang. author.
https://doi.org/10.1007/978-3-319-61869-2
Format: 
Electronic Resources
Alıntı: 
-- Channel Measurement and Modeling -- Software Simulation -- Evaluation Test of Software and Hardware
Tümünü Seç
33 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(32)
ASC Community. author.
(1)
Antonelli, Laura. editor.
(1)
B. Heras, Dora. editor.
(1)
Badger, Julia M. editor.
(1)
Format
Dil
Basım Yılı
Konu
Operating Systems.
(25)
Software engineering.
(18)
Computer science.
(14)
Computer Communication Networks.
(10)
Programming Languages, Compilers, Interpreters.
(10)
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