Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Software engineering.
(8)
Electronic digital computers -- Evaluation.
(5)
Hardware Performance and Reliability.
(5)
Professions.
(5)
System Performance and Evaluation.
(5)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
14 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
The AI Act and The Agile Safety Plan için kapak resmi
The AI Act and The Agile Safety Plan
Yazar 
Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80504-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Advances in Reliability and Safety Assessment for Critical Systems Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022) için kapak resmi
Advances in Reliability and Safety Assessment for Critical Systems Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022)
Yazar 
Senthil Kumar, C. editor. Sujatha, R. editor. Muthukumar, R. editor. Rao, K. Balaji. editor. Prakash, Raghu V. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5049-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I için kapak resmi
Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I
Yazar 
Vaidya, Jaideep. editor. Zhang, Xiao. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-37337-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings için kapak resmi
Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Yazar 
Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44902-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Yazar 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05416-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Frontiers of Performability Engineering In Honor of Prof. K.B. Misra için kapak resmi
Frontiers of Performability Engineering In Honor of Prof. K.B. Misra
Yazar 
Karanki, Durga Rao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8258-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Risk-Conscious Operations Management An Integrated Paradigm for Complex Engineering System için kapak resmi
Risk-Conscious Operations Management An Integrated Paradigm for Complex Engineering System
Yazar 
Varde, Prabhakar V. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-9334-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Applications in Reliability and Statistical Computing için kapak resmi
Applications in Reliability and Statistical Computing
Yazar 
Pham, Hoang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21232-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Decision-making Analysis and Optimization Modeling of Emergency Warnings for Major Accidents için kapak resmi
Decision-making Analysis and Optimization Modeling of Emergency Warnings for Major Accidents
Yazar 
Gai, Wenmei. author. Du, Yan. author. Deng, Yunfeng. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2871-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings için kapak resmi
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Yazar 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65948-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings için kapak resmi
Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings
Yazar 
Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64218-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings için kapak resmi
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Yazar 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: