Arama Sonuçları Infinite. - Daraltılmış: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dInfinite.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026ic$003dtrue$0026ps$003d300?dt=list
2024-11-28T16:45:57Z
Infinite Abelian groups
ent://SD_ILS/0/SD_ILS:32733
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Fuchs, Laszlo.<br/>Yer Numarası QA 171 F9517 1970- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Yer Numarası XX(520324.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26904-2">https://doi.org/10.1007/978-3-031-26904-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reinforcement Learning for Sequential Decision and Optimal Control
ent://SD_ILS/0/SD_ILS:520398
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Li, Shengbo Eben. author. SpringerLink (Online service)<br/>Yer Numarası XX(520398.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-7784-8">https://doi.org/10.1007/978-981-19-7784-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:520404
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Yer Numarası XX(520404.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-1639-9">https://doi.org/10.1007/978-981-99-1639-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520843
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520843.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520867
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520867.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33264-7">https://doi.org/10.1007/978-3-031-33264-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520759
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Woldegiorgis, Bereket H. editor. Mequanint, Kibret. editor. Bitew, Mekuanint A. editor. Beza, Teketay B. editor. Yibre, Abdulkerim M. editor.<br/>Yer Numarası XX(520759.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28725-1">https://doi.org/10.1007/978-3-031-28725-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520955
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520955.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33180-0">https://doi.org/10.1007/978-3-031-33180-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521142
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521142.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43835-6">https://doi.org/10.1007/978-3-031-43835-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521000
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Bordihn, Henning. editor. Tran, Nicholas. editor. Vaszil, György. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521000.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34326-1">https://doi.org/10.1007/978-3-031-34326-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521138
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.<br/>Yer Numarası XX(521138.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42508-0">https://doi.org/10.1007/978-3-031-42508-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521118
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521118.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42250-8">https://doi.org/10.1007/978-3-031-42250-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification of Data-Aware Processes via Satisfiability Modulo Theories
ent://SD_ILS/0/SD_ILS:520722
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Gianola, Alessandro. author. SpringerLink (Online service)<br/>Yer Numarası XX(520722.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42746-6">https://doi.org/10.1007/978-3-031-42746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:520851
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520851.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30442-2">https://doi.org/10.1007/978-3-031-30442-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521217
2024-11-28T16:45:57Z
2024-11-28T16:45:57Z
Yazar Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(521217.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45286-4">https://doi.org/10.1007/978-3-031-45286-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>