Arama Sonu&ccedil;lar&#305; Computer software -- Evaluation. - Daralt&#305;lm&#305;&#351;: Application software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bsoftware$002b--$002bEvaluation.$0026qf$003dSUBJECT$002509Konu$002509Application$002bsoftware.$002509Application$002bsoftware.$0026ps$003d300? 2026-04-26T17:32:51Z 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 Lectures ent://SD_ILS/0/SD_ILS:611797 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Bernardo, Marco. editor.&#160;De Nicola, Rocco. editor.&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604250 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604251 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604252 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604253 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Longo, Luca. editor.&#160;Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258&#160;Seifert, Christin. editor. (orcid)0000-0002-6776-3868&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 I ent://SD_ILS/0/SD_ILS:618099 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 III ent://SD_ILS/0/SD_ILS:617009 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 II ent://SD_ILS/0/SD_ILS:615964 2026-04-26T17:32:51Z 2026-04-26T17:32:51Z Yazar&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>