Arama Sonuçları Self-evaluation. - Daraltılmış: Application software.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSelf-evaluation.$0026qf$003dSUBJECT$002509Konu$002509Application$002bsoftware.$002509Application$002bsoftware.$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-21T02:59:15ZSecurity of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167962026-03-21T02:59:15Z2026-03-21T02:59:15ZYazar Tuncer, Daphne. editor. Koch, Robert. editor. Badonnel, Rémi. editor. Stiller, Burkhard. editor. (orcid)0000-0002-7461-7463 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60774-0">https://doi.org/10.1007/978-3-319-60774-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:6117972026-03-21T02:59:15Z2026-03-21T02:59:15ZYazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>