Search Results for Finite, The. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFinite$00252C$002bThe.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300$0026isd$003dtrue?
2024-09-19T05:15:24Z
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520839
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520839.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30258-9">https://doi.org/10.1007/978-3-031-30258-9</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 II
ent://SD_ILS/0/SD_ILS:520840
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520840.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520842
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520842.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520844
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Mavronicolas, Marios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520844.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30448-4">https://doi.org/10.1007/978-3-031-30448-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520791
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520791.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22944-2">https://doi.org/10.1007/978-3-031-22944-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520949
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520949.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33620-1">https://doi.org/10.1007/978-3-031-33620-1</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-09-19T05:15:24Z
2024-09-19T05:15:24Z
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/>
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520890
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520890.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28083-2">https://doi.org/10.1007/978-3-031-28083-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and Expert Systems Applications 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521071
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Strauss, Christine. editor. Amagasa, Toshiyuki. editor. Kotsis, Gabriele. editor. Tjoa, A Min. editor. Khalil, Ismail. editor.<br/>Preferred Shelf Number XX(521071.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39821-6">https://doi.org/10.1007/978-3-031-39821-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521167
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521167.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44207-0">https://doi.org/10.1007/978-3-031-44207-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cognitive Science and Communications Selected Articles from the 5th International Conference on Communications and Cyber-Physical Engineering (ICCCE 2022), Hyderabad, India
ent://SD_ILS/0/SD_ILS:520299
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Kumar, Amit. editor. Mozar, Stefan. editor. Haase, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520299.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8086-2">https://doi.org/10.1007/978-981-19-8086-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520321
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520321.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32213-6">https://doi.org/10.1007/978-3-031-32213-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
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/>
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520677
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520677.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33728-4">https://doi.org/10.1007/978-3-031-33728-4</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-09-19T05:15:24Z
2024-09-19T05:15:24Z
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/>
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520857
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520857.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32041-5">https://doi.org/10.1007/978-3-031-32041-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Methods and Applications 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520863
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Georgiev, Ivan. editor. Datcheva, Maria. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520863.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32412-3">https://doi.org/10.1007/978-3-031-32412-3</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-09-19T05:15:24Z
2024-09-19T05:15:24Z
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/>
Information Security and Cryptology - ICISC 2022 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520920
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Seo, Seung-Hyun. editor. Seo, Hwajeong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520920.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29371-9">https://doi.org/10.1007/978-3-031-29371-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520931
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.<br/>Preferred Shelf Number XX(520931.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29927-8">https://doi.org/10.1007/978-3-031-29927-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521140
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521140.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42823-4">https://doi.org/10.1007/978-3-031-42823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology - LATINCRYPT 2023 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521179
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Aly, Abdelrahaman. editor. Tibouchi, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521179.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44469-2">https://doi.org/10.1007/978-3-031-44469-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521195
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521195.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43587-4">https://doi.org/10.1007/978-3-031-43587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521209
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521209.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</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-09-19T05:15:24Z
2024-09-19T05:15:24Z
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/>
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520558
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520558.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25182-5">https://doi.org/10.1007/978-3-031-25182-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization Methods for Product and System Design
ent://SD_ILS/0/SD_ILS:520587
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Kulkarni, Anand J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520587.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1521-7">https://doi.org/10.1007/978-981-99-1521-7</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 II
ent://SD_ILS/0/SD_ILS:520846
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520846.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30445-3">https://doi.org/10.1007/978-3-031-30445-3</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-09-19T05:15:24Z
2024-09-19T05:15:24Z
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/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:521011
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number XX(521011.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37117-2">https://doi.org/10.1007/978-3-031-37117-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521109
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Nagy, Benedek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521109.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40247-0">https://doi.org/10.1007/978-3-031-40247-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521120
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521120.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42441-0">https://doi.org/10.1007/978-3-031-42441-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:521311
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521311.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44198-1">https://doi.org/10.1007/978-3-031-44198-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521236
2024-09-19T05:15:24Z
2024-09-19T05:15:24Z
Author Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521236.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45368-7">https://doi.org/10.1007/978-3-031-45368-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>