Search Results for Infinite. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInfinite.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300?
2024-11-06T07:05:37Z
Infinite Abelian groups
ent://SD_ILS/0/SD_ILS:32733
2024-11-06T07:05:37Z
2024-11-06T07:05:37Z
Author Fuchs, Laszlo.<br/>Preferred Shelf Number QA 171 F9517 1970- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2024-11-06T07:05:37Z
2024-11-06T07:05:37Z
Author Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520324.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520843.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520851.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Bordihn, Henning. editor. Tran, Nicholas. editor. Vaszil, György. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521000.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521118.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number XX(521138.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521142.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521217.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520955.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reinforcement Learning for Sequential Decision and Optimal Control
ent://SD_ILS/0/SD_ILS:520398
2024-11-06T07:05:37Z
2024-11-06T07:05:37Z
Author Li, Shengbo Eben. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520398.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(520404.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Woldegiorgis, Bereket H. editor. Mequanint, Kibret. editor. Bitew, Mekuanint A. editor. Beza, Teketay B. editor. Yibre, Abdulkerim M. editor.<br/>Preferred Shelf Number XX(520759.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-06T07:05:37Z
2024-11-06T07:05:37Z
Author Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520867.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Data-Aware Processes via Satisfiability Modulo Theories
ent://SD_ILS/0/SD_ILS:520722
2024-11-06T07:05:37Z
2024-11-06T07:05:37Z
Author Gianola, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520722.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>