Arama Sonu&ccedil;lar&#305; Engineering -- Statistical methods - Daralt&#305;lm&#305;&#351;: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dEngineering$002b--$002bStatistical$002bmethods$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?dt=list 2026-06-14T21:20:21Z Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:608160 2026-06-14T21:20:21Z 2026-06-14T21:20:21Z Yazar&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608161 2026-06-14T21:20:21Z 2026-06-14T21:20:21Z Yazar&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:608165 2026-06-14T21:20:21Z 2026-06-14T21:20:21Z Yazar&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</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-06-14T21:20:21Z 2026-06-14T21:20:21Z 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-06-14T21:20:21Z 2026-06-14T21:20:21Z 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-06-14T21:20:21Z 2026-06-14T21:20:21Z 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-06-14T21:20:21Z 2026-06-14T21:20:21Z 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/> EVOLVE - A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII ent://SD_ILS/0/SD_ILS:618446 2026-06-14T21:20:21Z 2026-06-14T21:20:21Z Yazar&#160;Emmerich, Michael. editor.&#160;Deutz, Andr&eacute;. editor.&#160;Sch&uuml;tze, Oliver. editor.&#160;Legrand, Pierrick. editor.&#160;Tantar, Emilia. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-49325-1">https://doi.org/10.1007/978-3-319-49325-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-14T21:20:21Z 2026-06-14T21:20:21Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-14T21:20:21Z 2026-06-14T21:20:21Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>