Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
20 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
System Software Reliability için kapak resmi
System Software Reliability
Yazar 
Pham, Hoang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-295-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Software Product Quality Control için kapak resmi
Software Product Quality Control
Yazar 
Wagner, Stefan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334625.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38571-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Software Reliability Assessment with OR Applications için kapak resmi
Software Reliability Assessment with OR Applications
Yazar 
Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-204-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Software Fault Detection and Correction: Modeling and Applications için kapak resmi
Software Fault Detection and Correction: Modeling and Applications
Yazar 
Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Software Failure Investigation A Near-Miss Analysis Approach için kapak resmi
Software Failure Investigation A Near-Miss Analysis Approach
Yazar 
Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61334-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment için kapak resmi
Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment
Yazar 
Allocco, Michael.
Yer Numarası 
TA169.7 A45 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Software safety and reliability : techniques, approaches, and standards of key industrial sectors için kapak resmi
Software safety and reliability : techniques, approaches, and standards of key industrial sectors
Yazar 
Herrmann, Debra S.
Yer Numarası 
QA76.76.R44 H39 1999
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Guide to Automotive Connectivity and Cybersecurity Trends, Technologies, Innovations and Applications için kapak resmi
Guide to Automotive Connectivity and Cybersecurity Trends, Technologies, Innovations and Applications
Yazar 
Möller, Dietmar P.F. author. Haas, Roland E. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73512-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Critical Infrastructure Security and Resilience Theories, Methods, Tools and Technologies için kapak resmi
Critical Infrastructure Security and Resilience Theories, Methods, Tools and Technologies
Yazar 
Gritzalis, Dimitris. editor. Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 Stergiopoulos, George. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00024-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications için kapak resmi
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
Yazar 
Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94054-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Formal Methods for Safety and Security Case Studies for Aerospace Applications için kapak resmi
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Yazar 
Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-4121-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: