Arama Sonuçları Computer logic. - Daraltılmış: 2024
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002blogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092024$0025092024$0026ps$003d300?dt=list
2026-06-01T10:30:44Z
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
ent://SD_ILS/0/SD_ILS:604237
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55608-1">https://doi.org/10.1007/978-3-031-55608-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis
ent://SD_ILS/0/SD_ILS:602397
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-48278-6">https://doi.org/10.1007/978-3-031-48278-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structural Decision Diagrams in Digital Test Theory and Applications
ent://SD_ILS/0/SD_ILS:602442
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44734-1">https://doi.org/10.1007/978-3-031-44734-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Becoming a computational thinker : success in the digital age
ent://SD_ILS/0/SD_ILS:551316
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Wang, Paul S., author.<br/>Yer Numarası QA76.9 .L63<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003437680">https://www.taylorfrancis.com/books/9781003437680</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/>
Computational intelligent techniques in mechatronics
ent://SD_ILS/0/SD_ILS:599404
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Prakash, Kolla Bhanu, editor. Peddapelli, Satish Kumar, editor. Tam, Ivan CK, editor. Woo, Wai Lok, editor. Jain, Vishal, 1983- editor.<br/>Yer Numarası TJ163.12 .C66 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602136
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar 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-031-46002-9">https://doi.org/10.1007/978-3-031-46002-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602351
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-51777-8">https://doi.org/10.1007/978-3-031-51777-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:602946
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fourth Congress on Intelligent Systems CIS 2023, Volume 2
ent://SD_ILS/0/SD_ILS:603108
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 Balachandran, K. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9040-5">https://doi.org/10.1007/978-981-99-9040-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Limits of AI - theoretical, practical, ethical
ent://SD_ILS/0/SD_ILS:603110
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-68290-6">https://doi.org/10.1007/978-3-662-68290-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
ent://SD_ILS/0/SD_ILS:602930
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55248-9">https://doi.org/10.1007/978-3-031-55248-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603567
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603913
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-62799-6">https://doi.org/10.1007/978-3-031-62799-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603964
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63742-1">https://doi.org/10.1007/978-3-031-63742-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics in Programming
ent://SD_ILS/0/SD_ILS:604267
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Liu, Xinyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604456
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis Mathematical Foundations
ent://SD_ILS/0/SD_ILS:604520
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63422-2">https://doi.org/10.1007/978-3-031-63422-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:605308
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66549-3">https://doi.org/10.1007/978-3-031-66549-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Illustrated Manual of Orthognathic Surgery Combined Bimaxillary Osteotomies in the Facial Skeleton
ent://SD_ILS/0/SD_ILS:606918
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kessler, Peter. editor. Hardt, Nicolas. editor. Yamauchi, Kensuke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73592-9">https://doi.org/10.1007/978-3-031-73592-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational intelligence : theory and applications
ent://SD_ILS/0/SD_ILS:599480
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kumar, T. Ananth (Tamilarasan Ananth), editor.<br/>Yer Numarası Q342 .C66 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fourth Congress on Intelligent Systems CIS 2023, Volume 1
ent://SD_ILS/0/SD_ILS:602903
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 K., Balachandran. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9037-5">https://doi.org/10.1007/978-981-99-9037-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fourth Congress on Intelligent Systems CIS 2023, Volume 3
ent://SD_ILS/0/SD_ILS:603042
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 K., Balachandran. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9043-6">https://doi.org/10.1007/978-981-99-9043-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:603628
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61716-4">https://doi.org/10.1007/978-3-031-61716-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603744
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-60878-0">https://doi.org/10.1007/978-3-031-60878-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Soft Logic
ent://SD_ILS/0/SD_ILS:604082
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-58233-2">https://doi.org/10.1007/978-3-031-58233-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604553
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65941-6">https://doi.org/10.1007/978-3-031-65941-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605008
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71112-1">https://doi.org/10.1007/978-3-031-71112-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605069
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71294-4">https://doi.org/10.1007/978-3-031-71294-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605244
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Thinking First Algorithms, Then Code
ent://SD_ILS/0/SD_ILS:605493
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-59922-4">https://doi.org/10.1007/978-3-031-59922-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Engineering Optimization Through Intelligent Techniques Select Proceedings of the 4th International Conference-AEOTIT 2023
ent://SD_ILS/0/SD_ILS:605545
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Venkata Rao, Ravipudi. editor. Taler, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-4654-5">https://doi.org/10.1007/978-981-97-4654-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Next Generation Arithmetic 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605570
2026-06-01T10:30:44Z
2026-06-01T10:30:44Z
Yazar Michalewicz, Marek. editor. (orcid)0000-0002-6474-5234 Gustafson, John. editor. (orcid)0000-0002-2957-1304 De Silva, Himeshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-72709-2">https://doi.org/10.1007/978-3-031-72709-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>