Search Results for Program Evaluation. - Narrowed by: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgram$002bEvaluation.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300? 2026-06-17T11:31:46Z On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612180 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Ciuciu, Ioana. editor.&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Retrieval Technology 13th Asia Information Retrieval Societies Conference, AIRS 2017, Jeju Island, South Korea, November 22-24, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612148 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Sung, Won-Kyung. editor.&#160;Jung, Hanmin. editor.&#160;Xu, Shuo. editor.&#160;Chinnasarn, Krisana. editor.&#160;Sumiya, Kazutoshi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70145-5">https://doi.org/10.1007/978-3-319-70145-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610687 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Mokhtari, Mounir. editor.&#160;Abdulrazak, Bessam. editor.&#160;Aloulou, Hamdi. 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-66188-9">https://doi.org/10.1007/978-3-319-66188-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Behavioral Program Synthesis with Genetic Programming ent://SD_ILS/0/SD_ILS:614763 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Krawiec, Krzysztof. 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-27565-9">https://doi.org/10.1007/978-3-319-27565-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tecnomatix Plant Simulation Modeling and Programming by Means of Examples ent://SD_ILS/0/SD_ILS:614857 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Bangsow, Steffen. author. (orcid)0009-0001-7553-9647&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19503-2">https://doi.org/10.1007/978-3-319-19503-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616739 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613592 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications ent://SD_ILS/0/SD_ILS:530412 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Lee, Roger. 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-11265-7">https://doi.org/10.1007/978-3-319-11265-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers ent://SD_ILS/0/SD_ILS:530559 2026-06-17T11:31:46Z 2026-06-17T11:31:46Z Author&#160;Madani, Kurosh. editor.&#160;Correia, Ant&oacute;nio Dourado. editor.&#160;Rosa, Agostinho. editor.&#160;Filipe, Joaquim. editor. (orcid)0000-0002-5961-6606&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11271-8">https://doi.org/10.1007/978-3-319-11271-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>