Search Results for Computer software -- Evaluation - Narrowed by: 1:SPRINGER SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bsoftware$002b--$002bEvaluation$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ps$003d300?dt=list 2026-06-15T23:30:34Z 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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Bernardo, Marco. editor.&#160;De Nicola, Rocco. editor.&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Assisted Eye Motility Diagnostics ent://SD_ILS/0/SD_ILS:606170 2026-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Priglinger, Siegfried. author.&#160;Buchberger, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Subject Research for Engineers A Practical Guide ent://SD_ILS/0/SD_ILS:612322 2026-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;de Winter, Joost C.F. author.&#160;Dodou, Dimitra. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Source Code Modularization Theory and Techniques ent://SD_ILS/0/SD_ILS:613135 2026-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Isazadeh, Ayaz. author.&#160;Izadkhah, Habib. author. (orcid)0000-0001-7595-8350&#160;Elgedawy, Islam. author. (orcid)0000-0002-9884-1590&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616750 2026-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448&#160;Boucheneb, Hanifa. editor.&#160;Mili, Ali. editor.&#160;Tahar, Sofi&egrave;ne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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&oacute;w, Poland ent://SD_ILS/0/SD_ILS:612033 2026-06-15T23:30:34Z 2026-06-15T23:30:34Z Author&#160;Zamojski, Wojciech. editor.&#160;Mazurkiewicz, Jacek. editor.&#160;Sugier, Jaros&#322;aw. editor. (orcid)0000-0003-1452-3067&#160;Walkowiak, Tomasz. editor.&#160;Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>