Arama Sonuçları Foundations. - Daraltılmış: Mathematics of Computing.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFoundations.$0026qf$003dSUBJECT$002509Konu$002509Mathematics$002bof$002bComputing.$002509Mathematics$002bof$002bComputing.$0026te$003dILS$0026ps$003d300?dt=list2026-03-20T18:32:15ZFoundations of Vector Retrievalent://SD_ILS/0/SD_ILS:6030462026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Bruch, Sebastian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55182-6">https://doi.org/10.1007/978-3-031-55182-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082982026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6090092026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-8295-9">https://doi.org/10.1007/978-981-96-8295-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6089452026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-8298-0">https://doi.org/10.1007/978-981-96-8298-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031662026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031502026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6064752026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80308-6">https://doi.org/10.1007/978-3-031-80308-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6064762026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80311-6">https://doi.org/10.1007/978-3-031-80311-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071582026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6072612026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82697-9">https://doi.org/10.1007/978-3-031-82697-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>R-Calculus, VI: Finite Injury Priority Methodent://SD_ILS/0/SD_ILS:6057852026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-5830-2">https://doi.org/10.1007/978-981-97-5830-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6068172026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-81241-5">https://doi.org/10.1007/978-3-031-81241-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6068182026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-81244-6">https://doi.org/10.1007/978-3-031-81244-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6068192026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-81247-7">https://doi.org/10.1007/978-3-031-81247-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089872026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-95908-0">https://doi.org/10.1007/978-3-031-95908-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Maths For Computing A Beginner's Guideent://SD_ILS/0/SD_ILS:6062962026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>R-Calculus, V: Description Logicsent://SD_ILS/0/SD_ILS:6023082026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-6460-4">https://doi.org/10.1007/978-981-99-6460-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6040782026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6040792026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6040802026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6025312026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-52113-3">https://doi.org/10.1007/978-3-031-52113-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6033372026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2242-6">https://doi.org/10.1007/978-981-97-2242-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6033382026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2253-2">https://doi.org/10.1007/978-981-97-2253-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6033392026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2259-4">https://doi.org/10.1007/978-981-97-2259-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6033402026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2262-4">https://doi.org/10.1007/978-981-97-2262-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6033412026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2266-2">https://doi.org/10.1007/978-981-97-2266-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6040912026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6040922026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6040932026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6041142026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</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, Proceedingsent://SD_ILS/0/SD_ILS:6052442026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar 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/>Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6046902026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68279-7">https://doi.org/10.1007/978-3-031-68279-7</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 Birthdayent://SD_ILS/0/SD_ILS:6036282026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar 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/>Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6044392026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66438-0">https://doi.org/10.1007/978-3-031-66438-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6048232026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-2238-9">https://doi.org/10.1007/978-981-97-2238-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6112362026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66320-3">https://doi.org/10.1007/978-3-319-66320-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6181572026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70697-9">https://doi.org/10.1007/978-3-319-70697-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6183482026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160122026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Incomputable Journeys Beyond the Turing Barrierent://SD_ILS/0/SD_ILS:6167062026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43669-2">https://doi.org/10.1007/978-3-319-43669-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6108572026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70700-6">https://doi.org/10.1007/978-3-319-70700-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6119502026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6135512026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70694-8">https://doi.org/10.1007/978-3-319-70694-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6132752026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:6154132026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42282-4">https://doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Analysis and the Mathematics of Computationent://SD_ILS/0/SD_ILS:6157682026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Römisch, Werner. author. Zeugmann, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42755-3">https://doi.org/10.1007/978-3-319-42755-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:6144772026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Soare, Robert I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cryptography Made Simpleent://SD_ILS/0/SD_ILS:6176952026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Smart, Nigel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21936-3">https://doi.org/10.1007/978-3-319-21936-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms for Data Scienceent://SD_ILS/0/SD_ILS:6177692026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Steele, Brian. author. Chandler, John. author. Reddy, Swarna. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45797-0">https://doi.org/10.1007/978-3-319-45797-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344652026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334465.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347022026-03-20T18:32:15Z2026-03-20T18:32:15ZYazar Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334702.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>