Arama Sonuçları Programming (Computers) - Daraltılmış: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming$002b$002528Computers$002529$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300$0026isd$003dtrue?
2026-01-25T14:27:20Z
ALPHAGO SIMPLIFIED rule-based ai and deep learning in everyday games.
ent://SD_ILS/0/SD_ILS:589226
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Liu, Mark.<br/>Yer Numarası Q325.5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032722207">https://www.taylorfrancis.com/books/9781032722207</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
ent://SD_ILS/0/SD_ILS:599880
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Arif, Tariq M., author. John Wiley & Sons, publisher.<br/>Yer Numarası Q325.73 .A75 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
INTELLIGENT AUTOMATION bridging the gap between business and academia.
ent://SD_ILS/0/SD_ILS:563607
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Myers, Marie, editor. Brace, Carol, editor. Carden, Lila, editor.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003276128">https://www.taylorfrancis.com/books/9781003276128</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Build AI-enhanced audio plugins with C++
ent://SD_ILS/0/SD_ILS:571478
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Yee-King, Matthew John, author.<br/>Yer Numarası ML74.3<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003365495">https://www.taylorfrancis.com/books/9781003365495</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Game AI uncovered. Volume two
ent://SD_ILS/0/SD_ILS:560849
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Roberts, Paul (Game programmer), editor.<br/>Yer Numarası GV1469.3<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003323549">https://www.taylorfrancis.com/books/9781003323549</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent systems of computing and informatics
ent://SD_ILS/0/SD_ILS:571521
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Karim, Samsul Ariffin Abdul, editor.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003400387">https://www.taylorfrancis.com/books/9781003400387</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Choreomata : performance and performativity after AI
ent://SD_ILS/0/SD_ILS:578200
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Trillo, Roberto Alonso, 1983- editor. Poliks, Marek, editor.<br/>Yer Numarası PN1584<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003312338">https://www.taylorfrancis.com/books/9781003312338</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
LARGE LANGUAGE MODELS concepts, techniques and applications.
ent://SD_ILS/0/SD_ILS:576514
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Atkinson-Abutridy, John.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003517245">https://www.taylorfrancis.com/books/9781003517245</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
BLOCKCHAIN AND DIGITAL TWIN ENABLED IOT NETWORKS privacy and security.
ent://SD_ILS/0/SD_ILS:569607
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Kumar, Randhir. Kumar, Prabhat. C C, Sobin.<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003403791">https://www.taylorfrancis.com/books/9781003403791</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
GAME AI UNCOVERED. Volume one
ent://SD_ILS/0/SD_ILS:577231
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Roberts, Paul (Game programmer) Dent, Nicholas (Illustrator)<br/>Yer Numarası GV1469.3<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003324102">https://www.taylorfrancis.com/books/9781003324102</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantum artificial intelligence with Qiskit.
ent://SD_ILS/0/SD_ILS:556076
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Wichert, Andrzej, author.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003374404">https://www.taylorfrancis.com/books/9781003374404</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hidden in white sight : how AI empowers and deepens systemic racism
ent://SD_ILS/0/SD_ILS:567707
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Lawrence, Calvin (Computer scientist), author.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003368755">https://www.taylorfrancis.com/books/9781003368755</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI for physics
ent://SD_ILS/0/SD_ILS:574179
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Knecht, Volker, author.<br/>Yer Numarası QC52 .K54 2023<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003245186">https://www.taylorfrancis.com/books/9781003245186</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundation, architecture, and prototyping of humanized AI a new constructivist approach
ent://SD_ILS/0/SD_ILS:589876
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Chang, Mark.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003392422">https://www.taylorfrancis.com/books/9781003392422</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Blockchain in Digital Forensics
ent://SD_ILS/0/SD_ILS:557027
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Kārttikēyan̲, Pa. Pande, Hari Mohan. Sarveshwaran, Velliangiri.<br/>Yer Numarası HV8078.7<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003374671">https://www.taylorfrancis.com/books/9781003374671</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The future of the artificial mind
ent://SD_ILS/0/SD_ILS:561540
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Plebe, Alessio, author. Perconti, Pietro, author.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/e/9781003120865">https://www.taylorfrancis.com/books/e/9781003120865</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003120865">https://www.taylorfrancis.com/books/9781003120865</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI for school teachers
ent://SD_ILS/0/SD_ILS:565519
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Luckin, Rosemary, author. George, Karine, author. Cukurova, Mutlu, author.<br/>Yer Numarası LB1028.3<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003193173">https://www.taylorfrancis.com/books/9781003193173</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
MIND, BRAIN, QUANTUM AI, AND THE MULTIVERSE
ent://SD_ILS/0/SD_ILS:569443
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Wichert, Andrzej, author.<br/>Yer Numarası BF161<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003244547">https://www.taylorfrancis.com/books/9781003244547</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI for sports
ent://SD_ILS/0/SD_ILS:590558
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Brady, Christopher, 1947- author. Tuyls, Karl, author. Omidshafiei, Shayegan, author.<br/>Yer Numarası GV706.8 .B728 2022 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003196532">https://www.taylorfrancis.com/books/9781003196532</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI for creativity
ent://SD_ILS/0/SD_ILS:583778
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Hageback, Niklas, author.<br/>Yer Numarası Q342 .H34 2022 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003194941">https://www.taylorfrancis.com/books/9781003194941</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI for Death and Dying
ent://SD_ILS/0/SD_ILS:586602
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Savin-Baden, Maggi, 1960-<br/>Yer Numarası HQ1073 .S38 2022<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003108504">https://www.taylorfrancis.com/books/9781003108504</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent system algorithms and applications in science and technology
ent://SD_ILS/0/SD_ILS:555836
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Pathak, Sunil, editor. Bhatt, Pramod Kumar, editor. Singh, Sanjay Kumar (Research professional), editor. Tripathi, Ashutosh, editor. Pandey, Pankaj Kumar, editor.<br/>Yer Numarası T56.24<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003187059">https://www.taylorfrancis.com/books/9781003187059</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI FOR GAMES
ent://SD_ILS/0/SD_ILS:552857
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Millington, Ian.<br/>Yer Numarası QA76.76 .C672<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003124047">https://www.taylorfrancis.com/books/9781003124047</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical AI for Cybersecurity
ent://SD_ILS/0/SD_ILS:574909
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Das, Ravindra.<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003005230">https://www.taylorfrancis.com/books/9781003005230</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI and deep learning in biometric security : trends, potential, and challenges
ent://SD_ILS/0/SD_ILS:591330
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Jaswal, Gaurav, editor. Kanhangad, Vivek, editor. Ramachandra, Raghavendra, editor.<br/>Yer Numarası TK7882 .B56<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003003489">https://www.taylorfrancis.com/books/9781003003489</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The handbook of AI-based metaheuristics
ent://SD_ILS/0/SD_ILS:592408
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Kulkarni, Anand Jayant, editor. Siarry, Patrick, editor.<br/>Yer Numarası TA168<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003162841">https://www.taylorfrancis.com/books/9781003162841</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI for cars
ent://SD_ILS/0/SD_ILS:568175
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Aulinas, Josep, author. Sjafrie, Hanky, author.<br/>Yer Numarası TL272.5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003099512">https://www.taylorfrancis.com/books/9781003099512</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
INTELLIGENT SUPPORT FOR COMPUTER SCIENCE EDUCATION pedagogy enhanced by artificial intelligence.
ent://SD_ILS/0/SD_ILS:571844
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Di Eugenio, Barbara, author. Fossati, Davide, author. Green, Nick (Engineer), author.<br/>Yer Numarası QA76.27 .D49 2022<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315168067">https://www.taylorfrancis.com/books/9781315168067</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cognitive computing systems : applications and technological advancements
ent://SD_ILS/0/SD_ILS:582709
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Jain, Vishal, 1983- editor. Tayal, Akash, 1973- editor. Singh, Jaspreet, 1976- editor. Solanki, Arun, 1985- editor.<br/>Yer Numarası QA76.9 .S63<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003082033">https://www.taylorfrancis.com/books/9781003082033</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Understanding artificial intelligence
ent://SD_ILS/0/SD_ILS:552765
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Sabouret, Nicolas, author.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003080626">https://www.taylorfrancis.com/books/9781003080626</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cunning machines : your pocket guide to the world of artificial intelligence
ent://SD_ILS/0/SD_ILS:558487
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Osiński, Jędrzej.<br/>Yer Numarası Q335<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003021537">https://www.taylorfrancis.com/books/9781003021537</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483789
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
ent://SD_ILS/0/SD_ILS:482889
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483052
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483131
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483739
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485271
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485980
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485870
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23584-0">https://doi.org/10.1007/978-3-030-23584-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486324
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Answer Set Programming
ent://SD_ILS/0/SD_ILS:483668
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Lifschitz, Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483982
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Lujak, Marin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17294-7">https://doi.org/10.1007/978-3-030-17294-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484706
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485265
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485944
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Java® programming for IoT, AI, and Blockchain
ent://SD_ILS/0/SD_ILS:595372
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Xiao, Perry, author.<br/>Yer Numarası QA76.73 .J38 X536 2019 EB<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial intelligence and data mining for mergers and acquisitions
ent://SD_ILS/0/SD_ILS:571027
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Chanda, Debasis, author.<br/>Yer Numarası HD2746.5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429424571">https://www.taylorfrancis.com/books/9780429424571</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484531
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487246
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:487545
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487419
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488931
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:488980
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489089
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:489416
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485593
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08909-6">https://doi.org/10.1007/978-3-319-08909-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Game ai pro : collected wisdom of game ai professionals
ent://SD_ILS/0/SD_ILS:538744
2026-01-25T14:27:20Z
2026-01-25T14:27:20Z
Yazar Rabin, Steven, editor. Taylor and Francis.<br/>Yer Numarası QA76.76 .C672<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466565975">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>