Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(172)
Iliadis, Lazaros. editor.
(4)
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
(4)
Obaidat, Mohammad S. editor.
(4)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(4)
Dil
Yayın Yılı
-
Konu
Application software.
(85)
Software engineering.
(83)
Artificial intelligence.
(60)
Computer communication systems.
(41)
Computer science.
(33)
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ç
251 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Designing Usable and Secure Software with IRIS and CAIRIS için kapak resmi
Designing Usable and Secure Software with IRIS and CAIRIS
Yazar 
Faily, Shamal. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75493-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems için kapak resmi
Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems
Yazar 
Griffor, Edward R., editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128037737
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54792-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Fast Software Encryption 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers için kapak resmi
Fast Software Encryption 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers
Yazar 
Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43933-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Future Business Software Current Trends in Business Software Development için kapak resmi
Future Business Software Current Trends in Business Software Development
Yazar 
Brunetti, Gino. editor. Feld, Thomas. editor. Heuser, Lutz. editor. Schnitter, Joachim. editor. Webel, Christian. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04144-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Embedded systems security practical methods for safe and secure software and systems development için kapak resmi
Embedded systems security practical methods for safe and secure software and systems development
Yazar 
Kleidermacher, David. Kleidermacher, Mike.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123868862
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Security software development : assessing and managing security risks için kapak resmi
Security software development : assessing and managing security risks
Yazar 
Ashbaugh, Douglas A., author.
Yer Numarası 
QA76.9 .A25 A8246 2009
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
How to break software security : effective technigues for security testing için kapak resmi
How to break software security : effective technigues for security testing
Yazar 
Whittaker, James A., 1965- Thomson, Herbert H., ort. yaz.
Yer Numarası 
QA 76.9.A25 W48 2004
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
10. 
Snort 2.0 intrusion detection için kapak resmi
Snort 2.0 intrusion detection
Yazar 
Beale, Jay. Foster, James C.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781931836746
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings için kapak resmi
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Yazar 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Yazar 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç