Search Results for Program Development - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgram$002bDevelopment$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2026-03-14T12:35:40Z
Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference
ent://SD_ILS/0/SD_ILS:606038
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Zayas-Gato, Francisco. editor. Díaz-Longueira, Antonio. editor. Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477 Jove, Esteban. editor. (orcid)0000-0002-0625-359X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73910-1">https://doi.org/10.1007/978-3-031-73910-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing
ent://SD_ILS/0/SD_ILS:605317
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Bayro-Corrochano, Eduardo. author. (orcid)0000-0002-4738-3593 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66342-0">https://doi.org/10.1007/978-3-031-66342-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice XX
ent://SD_ILS/0/SD_ILS:602594
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8413-8">https://doi.org/10.1007/978-981-99-8413-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI Embedded Assurance for Cyber Systems
ent://SD_ILS/0/SD_ILS:528935
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Wang, Cliff. editor. Iyengar, S.S. editor. Sun, Kun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42637-7">https://doi.org/10.1007/978-3-031-42637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technology for Competitive Strategies (ICTCS 2022) ICT: Applications and Social Interfaces
ent://SD_ILS/0/SD_ILS:527746
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Joshi, Amit. editor. Mahmud, Mufti. editor. Ragel, Roshan G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9638-2">https://doi.org/10.1007/978-981-19-9638-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Education and e-Learning-Smart University Proceedings of the 10th International Conference on Smart Education and e-Learning (KES SEEL-2023)
ent://SD_ILS/0/SD_ILS:527790
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Uskov, Vladimir L. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2993-1">https://doi.org/10.1007/978-981-99-2993-1</a><br/>Format: Electronic Resources<br/>Availability 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-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Gumzej, Roman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28905-2">https://doi.org/10.1007/978-3-319-28905-2</a><br/>Format: Electronic Resources<br/>Availability 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-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610845
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Availability 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-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Tecnomatix Plant Simulation Modeling and Programming by Means of Examples
ent://SD_ILS/0/SD_ILS:614857
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Systems in Engineering Design Principles and Applications
ent://SD_ILS/0/SD_ILS:614511
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Sunnersjö, Staffan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28125-4">https://doi.org/10.1007/978-3-319-28125-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:530412
2026-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-03-14T12:35:40Z
2026-03-14T12:35:40Z
Author Madani, Kurosh. editor. Correia, António Dourado. editor. Rosa, Agostinho. editor. Filipe, Joaquim. editor. (orcid)0000-0002-5961-6606 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>