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ç
Eylem Seç
36 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems için kapak resmi
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Yazar 
Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Yer Numarası 
QA76.9 .A25
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003093350
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Software Design for Resilient Computer Systems için kapak resmi
Software Design for Resilient Computer Systems
Yazar 
Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55139-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday için kapak resmi
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Yazar 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings için kapak resmi
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Yazar 
Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68606-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Multi-criteria decision models in software reliability : methods and applications için kapak resmi
Multi-criteria decision models in software reliability : methods and applications
Yazar 
Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.
Yer Numarası 
QA76.76 .R44 M85 2023
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780367816414
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings için kapak resmi
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Yazar 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Software reliability techniques for real-world applications için kapak resmi
Software reliability techniques for real-world applications
Yazar 
Youree, Roger K., author.
Yer Numarası 
QA76.76 .R44
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119931850
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
The Electrical Engineering Handbook - Six Volume Set için kapak resmi
The Electrical Engineering Handbook - Six Volume Set
Yazar 
Dorf, Richard C., editor. Taylor and Francis.
Yer Numarası 
R857 .B54
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems için kapak resmi
Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems
Yazar 
Bedny, Gregory Z., author. Karwowski, Waldemar, author. Bedny, Inna, author.
Yer Numarası 
TA166 .B436 2018
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781466569355
Taylor & Francis https://www.taylorfrancis.com/books/9780429188145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Artificial neural network for software reliability prediction için kapak resmi
Artificial neural network for software reliability prediction
Yazar 
Bisi, Manjubala, author. Goyal, Neeraj Kumar, author.
Yer Numarası 
QA76.87
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Real-time embedded systems için kapak resmi
Real-time embedded systems
Yazar 
Wang, Jiacun, 1963- author.
Yer Numarası 
TK7895 .E42
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
13. 
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings için kapak resmi
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Yazar 
Tonetta, Stefano. 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-66284-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
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. 
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:
21. 
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:
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:
25. 
Systems and software engineering with applications için kapak resmi
Systems and software engineering with applications
Yazar 
Schneidewind, Norman.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Software error detection through testing and analysis için kapak resmi
Software error detection through testing and analysis
Yazar 
Huang, J. C., 1935-
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Tutorial on hardware and software reliability, maintainability, and availability için kapak resmi
Tutorial on hardware and software reliability, maintainability, and availability
Yazar 
Schneidewind, Norman.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769540
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769540
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Using aspect-oriented programming for trustworthy software development için kapak resmi
Using aspect-oriented programming for trustworthy software development
Yazar 
Safonov, V. O. (Vladimir Olegovich)
Yer Numarası 
ONLINE
Elektronik Erişim 
Books24x7 http://www.books24x7.com/marc.asp?bookid=26061
John Wiley http://dx.doi.org/10.1002/9780470283110
MyiLibrary, Table of contents http://www.myilibrary.com?id=138149&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0829/2007041615-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Trustworthy computing analytical and quantitative engineering evaluation için kapak resmi
Trustworthy computing analytical and quantitative engineering evaluation
Yazar 
Sahinoglu, Mehmet, 1951- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2006033567-b.html
John Wiley http://dx.doi.org/10.1002/9780470127872
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Computers, Software Engineering, and Digital Devices için kapak resmi
Computers, Software Engineering, and Digital Devices
Yazar 
Dorf, Richard C., author. Taylor and Francis.
Yer Numarası 
TK7885
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Trustworthy systems through quantitative software engineering için kapak resmi
Trustworthy systems through quantitative software engineering
Yazar 
Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Occupational ergonomics : principles of work design için kapak resmi
Occupational ergonomics : principles of work design
Yazar 
Karwowski, Waldemar, 1953- Marras, William S. (William Steven), 1952-
Yer Numarası 
TA166 .O2565 2003
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
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:
34. 
SafeWare : system safety and computers için kapak resmi
SafeWare : system safety and computers
Yazar 
Leveson, Nancy.
Yer Numarası 
QA 76.76.R44 L48 1995
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
35. 
Ensuring software reliability için kapak resmi
Ensuring software reliability
Yazar 
Neufelder, Ann Marie, 1960- author.
Yer Numarası 
QA76.76 .R44 N48 1992
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Computer Control of Real-Time Processes için kapak resmi
Computer Control of Real-Time Processes
Yazar 
Bennett, S., ed. Virk, G. S., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCE041E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: