Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(11)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Wiley InterScience (Online service)
(3)
Merkow, Mark S., author.
(2)
Raghavan, Lakshmikanth.
(2)
Dil
Yayın Yılı
-
Konu
Computer software -- Reliability.
(15)
Software engineering.
(9)
Electronic books.
(8)
Computer security.
(5)
Computer Science Logic and Foundations of Programming.
(4)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
36 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Yazar 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts için kapak resmi
Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts
Yazar 
Avramidis, Ioannis. author. Athanatopoulou, A. author. Morfidis, Konstantinos. author. Sextos, Anastasios. author. Giaralis, Agathoklis. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25270-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Smart Electromechanical Systems için kapak resmi
Smart Electromechanical Systems
Yazar 
Gorodetskiy, Andrey E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27547-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings için kapak resmi
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Yazar 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45480-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland için kapak resmi
Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
Yazar 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. (orcid)0000-0003-1452-3067 Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39639-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Software Design for Resilient Computer Systems için kapak resmi
Software Design for Resilient Computer Systems
Yazar 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Computer system reliability : safety and usability için kapak resmi
Computer system reliability : safety and usability
Yazar 
Dhillon, B. S., author.
Yer Numarası 
QA76.76 .R44 D495 2013
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Reliability and availability of cloud computing için kapak resmi
Reliability and availability of cloud computing
Yazar 
Bauer, Eric. Adams, Randee. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266788
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Secure and resilient software : requirements, test cases, and testing methods için kapak resmi
Secure and resilient software : requirements, test cases, and testing methods
Yazar 
Merkow, Mark S., author. Raghavan, Lakshmikanth.
Yer Numarası 
QA76.76 .T48 M47 2012
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Applied software measurement global analysis of productivity and quality için kapak resmi
Applied software measurement global analysis of productivity and quality
Yazar 
Jones, Capers.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Model-Based Requirements Engineering için kapak resmi
Model-Based Requirements Engineering
Yazar 
Holt, Jon Perry, Simon A Brownsword, Mike
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBPC009E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Secure and resilient software development için kapak resmi
Secure and resilient software development
Yazar 
Merkow, Mark S., author. Raghavan, Lakshmikanth.
Yer Numarası 
QA76.76 .D47 M466 2010
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets