Arama Sonuçları Computer software -- Evaluation. - Daraltılmış: 1:SPRINGERSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bsoftware$002b--$002bEvaluation.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ps$003d300?dt=list2026-06-15T20:23:40ZFormal 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-06-15T20:23:40Z2026-06-15T20:23:40ZYazar 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/>Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6042502026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63787-2">https://doi.org/10.1007/978-3-031-63787-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6042512026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63797-1">https://doi.org/10.1007/978-3-031-63797-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6042522026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63800-8">https://doi.org/10.1007/978-3-031-63800-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6042532026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63803-9">https://doi.org/10.1007/978-3-031-63803-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Assisted Eye Motility Diagnosticsent://SD_ILS/0/SD_ILS:6061702026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Priglinger, Siegfried. author. Buchberger, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65564-7">https://doi.org/10.1007/978-3-031-65564-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Human Subject Research for Engineers A Practical Guideent://SD_ILS/0/SD_ILS:6123222026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar de Winter, Joost C.F. author. Dodou, Dimitra. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56964-2">https://doi.org/10.1007/978-3-319-56964-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6159642026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58637-3">https://doi.org/10.1007/978-3-319-58637-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6170092026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58640-3">https://doi.org/10.1007/978-3-319-58640-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Source Code Modularization Theory and Techniquesent://SD_ILS/0/SD_ILS:6131352026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Isazadeh, Ayaz. author. Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Elgedawy, Islam. author. (orcid)0000-0002-9884-1590 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63346-6">https://doi.org/10.1007/978-3-319-63346-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167502026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6180992026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58634-2">https://doi.org/10.1007/978-3-319-58634-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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, Polandent://SD_ILS/0/SD_ILS:6120332026-06-15T20:23:40Z2026-06-15T20:23:40ZYazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. (orcid)0000-0003-1452-3067 Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39639-2">https://doi.org/10.1007/978-3-319-39639-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>