Arama Sonuçları Computer logic. - Daraltılmış: Computer security.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsecurity.$002509Computer$002bsecurity.$0026ic$003dtrue$0026ps$003d300?dt=list
2025-12-07T16:59:29Z
Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486179
2025-12-07T16:59:29Z
2025-12-07T16:59:29Z
Yazar Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. Weippl, Edgar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29726-8">https://doi.org/10.1007/978-3-030-29726-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486230
2025-12-07T16:59:29Z
2025-12-07T16:59:29Z
Yazar Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489018
2025-12-07T16:59:29Z
2025-12-07T16:59:29Z
Yazar Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08970-6">https://doi.org/10.1007/978-3-319-08970-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Secure Future Internet Services and Systems Current Research
ent://SD_ILS/0/SD_ILS:488944
2025-12-07T16:59:29Z
2025-12-07T16:59:29Z
Yazar Heisel, Maritta. editor. Joosen, Wouter. editor. López, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07452-8">https://doi.org/10.1007/978-3-319-07452-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>