Search Results for Programming. - Narrowed by: 2023

Linear Programming Computation

2025-12-12T06:11:43Z

Author PAN, Ping-Qi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-0147-8
Format: Electronic Resources
Availability Online Library~1

Breastfeeding and Metabolic Programming

2025-12-12T06:11:43Z

Author Şahin, Özlem Naciye. editor. Briana, Despina D. editor. Di Renzo, Gian Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33278-4
Format: Electronic Resources
Availability Online Library~1

The art of computer programming

2025-12-12T06:11:43Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

Programming principles in computer graphics

2025-12-12T06:11:43Z

Author Ammeraal, Leendert.
Preferred Shelf Number QA 76.6 A466 1986
Format: Books
Availability Beytepe Library~1

Advanced Guide to Python 3 Programming

2025-12-12T06:11:43Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40336-1
Format: Electronic Resources
Availability Online Library~1

Python Programming Recipes for IoT Applications

2025-12-12T06:11:43Z

Author Parab, Jivan S. author. Lanjewar, Madhusudan Ganuji. author. Sequeira, Marlon Darius. author. Naik, Gourish. author. Shaikh, Arman Yusuf. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9466-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages: Principles and Paradigms

2025-12-12T06:11:43Z

Author Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34144-1
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XIX

2025-12-12T06:11:43Z

Author Trujillo, Leonardo. editor. Winkler, Stephan M. editor. Silva, Sara. editor. Banzhaf, Wolfgang. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8460-0
Format: Electronic Resources
Availability Online Library~1

Parallel Programming for Multicore and Cluster Systems

2025-12-12T06:11:43Z

Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28924-8
Format: Electronic Resources
Availability Online Library~1

A Beginners Guide to Python 3 Programming

2025-12-12T06:11:43Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35122-8
Format: Electronic Resources
Availability Online Library~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

2025-12-12T06:11:43Z

Author Bowen, Jonathan P. editor. Li, Qin. editor. Xu, Qiwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40436-8
Format: Electronic Resources
Availability Online Library~1

Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

2025-12-12T06:11:43Z

Author Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26651-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

2025-12-12T06:11:43Z

Author Hur, Chung-Kil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8311-7
Format: Electronic Resources
Availability Online Library~1

Essentials of C Programming with Microsoft® Visual Studio®

2025-12-12T06:11:43Z

Author Asadi, Farzin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35711-4
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

2025-12-12T06:11:43Z

Author Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33976-9
Format: Electronic Resources
Availability Online Library~1

Mobile Robot Programming Adventures in Python and C

2025-12-12T06:11:43Z

Author Bräunl, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32797-1
Format: Electronic Resources
Availability Online Library~1

OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

2025-12-12T06:11:43Z

Author McIntosh-Smith, Simon. editor. Klemm, Michael. editor. de Supinski, Bronis R. editor. Deakin, Tom. editor. Klinkenberg, Jannis. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40744-4
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

2025-12-12T06:11:43Z

Author Pappa, Gisele. editor. Giacobini, Mario. editor. Vasicek, Zdenek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29573-7
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Chang, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38938-2
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings

2025-12-12T06:11:43Z

Author Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49299-0
Format: Electronic Resources
Availability Online Library~1

Guide to Java A Concise Introduction to Programming

2025-12-12T06:11:43Z

Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22842-1
Format: Electronic Resources
Availability Online Library~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2025-12-12T06:11:43Z

Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31476-6
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

2025-12-12T06:11:43Z

Author Del Pia, Alberto. editor. Kaibel, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32726-1
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings

2025-12-12T06:11:43Z

Author Cire, Andre A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33271-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2025-12-12T06:11:43Z

Author Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30044-8
Format: Electronic Resources
Availability Online Library~1

The Multi-Agent Programming Contest 2022 Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not

2025-12-12T06:11:43Z

Author Ahlbrecht, Tobias. editor. Dix, Jürgen. editor. Fiekas, Niklas. editor. Krausburg, Tabajara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38712-8
Format: Electronic Resources
Availability Online Library~1

C how to program : with case studies introducing applications programming and systems programming

2025-12-12T06:11:43Z

Author Deitel, Paul, author. Deitel, Harvey, author
Preferred Shelf Number QA76.73.C153 D45 2023
Format: Books
Availability Beytepe Library~1

Python tabanlı algoritma

2025-12-12T06:11:43Z

Author Çamoğlu, Kadir.
Preferred Shelf Number QA76.73.P98 C36 2023
Format: Books
Availability Beytepe Library~1

Game engine gems

2025-12-12T06:11:43Z

Author Lengyel, Eric.
Preferred Shelf Number QA76.76 .C672 G3588 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2025-12-12T06:11:43Z

Author Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34411-4
Format: Electronic Resources
Availability Online Library~1

Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings

2025-12-12T06:11:43Z

Author Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42682-7
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

2025-12-12T06:11:43Z

Author Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43264-4
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings

2025-12-12T06:11:43Z

Author Daduna, Joachim R. editor. Liedtke, Gernot. editor. Shi, Xiaoning. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43612-3
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings

2025-12-12T06:11:43Z

Author Yuan, Long. editor. Yang, Shiyu. editor. Li, Ruixuan. editor. Kanoulas, Evangelos. editor. Zhao, Xiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6222-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

2025-12-12T06:11:43Z

Author García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40725-3
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

2025-12-12T06:11:43Z

Author Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41456-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

2025-12-12T06:11:43Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42505-9
Format: Electronic Resources
Availability Online Library~1

Prolog: The Next 50 Years

2025-12-12T06:11:43Z

Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35254-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings

2025-12-12T06:11:43Z

Author Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35305-5
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I

2025-12-12T06:11:43Z

Author Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44237-7
Format: Electronic Resources
Availability Online Library~1

Algoritma ve programlama mantığı

2025-12-12T06:11:43Z

Author Tungut, H. Burak
Preferred Shelf Number QA76.9.A43 T86 2023
Format: Books
Availability Beytepe Library~1

O an

2025-12-12T06:11:43Z

Author Muslu, Barış M., 1975-
Preferred Shelf Number BF637.C5 M977 2023
Format: Books
Availability Beytepe Library~1

Nesneye yönelik programlama dilleri ile temiz kod

2025-12-12T06:11:43Z

Author Ardoğan, M. Furkan.
Preferred Shelf Number QA76.73.C154 A636 2023
Format: Books
Availability Beytepe Library~1

Computational Mechanics with Deep Learning An Introduction

2025-12-12T06:11:43Z

Author Yagawa, Genki. author. Oishi, Atsuya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-11847-0
Format: Electronic Resources
Availability Online Library~1

Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)

2025-12-12T06:11:43Z

Author Barolli, Leonard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35734-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 6th Asia Pacific Conference on Manufacturing Systems and 4th International Manufacturing Engineering Conference APCOMS-IMEC 2022, Surakarta, Indonesia

2025-12-12T06:11:43Z

Author Rosyidi, Cucuk Nur. editor. Laksono, Pringgo Widyo. editor. Jauhari, Wakhid Ahmad. editor. Hisjam, Muhammad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1245-2
Format: Electronic Resources
Availability Online Library~1

An Invitation to Mathematical Biology

2025-12-12T06:11:43Z

Author Costa, David G. author. Schulte, Paul J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40258-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Manufacturing Systems in Industry 4.0 Select Proceedings of IPDIMS 2022

2025-12-12T06:11:43Z

Author Deepak, B. B. V. L. editor. Bahubalendruni, M. V. A. Raju. editor. Parhi, D. R. K. editor. Biswal, B. B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1665-8
Format: Electronic Resources
Availability Online Library~1

Data Communications and Network Technologies

2025-12-12T06:11:43Z

Author Huawei Technologies Co., Ltd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3029-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-12T06:11:43Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-12T06:11:43Z

Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30829-1
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

2025-12-12T06:11:43Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30445-3
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

2025-12-12T06:11:43Z

Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42823-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part III

2025-12-12T06:11:43Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37111-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

2025-12-12T06:11:43Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37114-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2025-12-12T06:11:43Z

Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47115-5
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

2025-12-12T06:11:43Z

Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35129-7
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design using the MSP430FR2355 LaunchPad™

2025-12-12T06:11:43Z

Author LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20888-1
Format: Electronic Resources
Availability Online Library~1

AI, IoT, Big Data and Cloud Computing for Industry 4.0

2025-12-12T06:11:43Z

Author Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29713-7
Format: Electronic Resources
Availability Online Library~1

The Influence of Delay on Cloud Gaming Quality of Experience

2025-12-12T06:11:43Z

Author Sabet, Saeed Shafiee. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-99869-1
Format: Electronic Resources
Availability Online Library~1

A Guide to Applied Machine Learning for Biologists

2025-12-12T06:11:43Z

Author Badar, Mohammad "Sufian". editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22206-1
Format: Electronic Resources
Availability Online Library~1

Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2021

2025-12-12T06:11:43Z

Author Singh, Jagdev. editor. Anastassiou, George A. editor. Baleanu, Dumitru. editor. Cattani, Carlo. editor. Kumar, Devendra. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-0179-9
Format: Electronic Resources
Availability Online Library~1

Assessing the Quality of Experience of Cloud Gaming Services

2025-12-12T06:11:43Z

Author Schmidt, Steven. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-06011-3
Format: Electronic Resources
Availability Online Library~1

Engineering Mathematics and Computing

2025-12-12T06:11:43Z

Author Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-2300-5
Format: Electronic Resources
Availability Online Library~1

Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

2025-12-12T06:11:43Z

Author Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22311-2
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Mathematics for Tackling Complex Problems 4

2025-12-12T06:11:43Z

Author Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-07707-4
Format: Electronic Resources
Availability Online Library~1

Advanced Materials in Smart Building Skins for Sustainability From Nano to Macroscale

2025-12-12T06:11:43Z

Author Wang, Julian. editor. (orcid)0000-0002-3056-5569 Shi, Donglu. editor. (orcid)0000-0002-0837-7780 Song, Yehao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-09695-2
Format: Electronic Resources
Availability Online Library~1

Computer Communication, Networking and IoT Proceedings of 5th ICICC 2021, Volume 2

2025-12-12T06:11:43Z

Author Satapathy, Suresh Chandra. editor. Lin, Jerry Chun-Wei. editor. Wee, Lai Khin. editor. Bhateja, Vikrant. editor. Rajesh, T. M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-1976-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 4th International Conference on Big Data Analytics for Cyber-Physical System in Smart City - Volume 2 BDCPS 2022, December 16-17, 2022, Bangkok, Thailand

2025-12-12T06:11:43Z

Author Atiquzzaman, Mohammed. editor. Yen, Neil Yuwen. editor. Xu, Zheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1157-8
Format: Electronic Resources
Availability Online Library~1

Serverless Computing: Principles and Paradigms

2025-12-12T06:11:43Z

Author Krishnamurthi, Rajalakshmi. editor. Kumar, Adarsh. editor. Gill, Sukhpal Singh. editor. Buyya, Rajkumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26633-1
Format: Electronic Resources
Availability Online Library~1

IoT Edge Solutions for Cognitive Buildings

2025-12-12T06:11:43Z

Author Cicirelli, Franco. editor. Guerrieri, Antonio. editor. Vinci, Andrea. editor. Spezzano, Giandomenico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-15160-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Artificial Intelligence

2025-12-12T06:11:43Z

Author Joshi, Ameet V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-12282-8
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

2025-12-12T06:11:43Z

Author Nazareth, John Lawrence. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21762-3
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

2025-12-12T06:11:43Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2449-3
Format: Electronic Resources
Availability Online Library~1

Human-Technology Interaction Shaping the Future of Industrial User Interfaces

2025-12-12T06:11:43Z

Author Röcker, Carsten. editor. Büttner, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-99235-4
Format: Electronic Resources
Availability Online Library~1

Blockchain for Secure Healthcare Using Internet of Medical Things (IoMT)

2025-12-12T06:11:43Z

Author Gupta, Sunil. author. Sharma, Hitesh Kumar. author. Kapoor, Monit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-18896-1
Format: Electronic Resources
Availability Online Library~1

Computer science to the Point Computer Science for Life Sciences Students and Other Non-Computer Scientists

2025-12-12T06:11:43Z

Author Tolg, Boris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-38443-2
Format: Electronic Resources
Availability Online Library~1

Lectures on Intelligent Systems

2025-12-12T06:11:43Z

Author Vanneschi, Leonardo. author. Silva, Sara. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17922-8
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Evolutionary Computation 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022, Revised Selected Papers

2025-12-12T06:11:43Z

Author De Stefano, Claudio. editor. Fontanella, Francesco. editor. Vanneschi, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31183-3
Format: Electronic Resources
Availability Online Library~1

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

2025-12-12T06:11:43Z

Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5844-3
Format: Electronic Resources
Availability Online Library~1

Metaheuristics for Machine Learning New Advances and Tools

2025-12-12T06:11:43Z

Author Eddaly, Mansour. editor. Jarboui, Bassem. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3888-7
Format: Electronic Resources
Availability Online Library~1

Reinforcement Learning for Sequential Decision and Optimal Control

2025-12-12T06:11:43Z

Author Li, Shengbo Eben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7784-8
Format: Electronic Resources
Availability Online Library~1

Higher Education Computer Science A Manual of Practical Approaches

2025-12-12T06:11:43Z

Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29386-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence

2025-12-12T06:11:43Z

Author Edelkamp, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65596-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II

2025-12-12T06:11:43Z

Author Maglogiannis, Ilias. editor. (orcid) Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34107-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I

2025-12-12T06:11:43Z

Author Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34111-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43257-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

2025-12-12T06:11:43Z

Author Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29126-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2025-12-12T06:11:43Z

Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36336-8
Format: Electronic Resources
Availability Online Library~1

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2025-12-12T06:11:43Z

Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5968-6
Format: Electronic Resources
Availability Online Library~1

Autonomous Driving Perception Fundamentals and Applications

2025-12-12T06:11:43Z

Author Fan, Rui. editor. Guo, Sicen. editor. Bocus, Mohammud Junaid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4287-9
Format: Electronic Resources
Availability Online Library~1

Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

2025-12-12T06:11:43Z

Author Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47014-1
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

2025-12-12T06:11:43Z

Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46739-4
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2025-12-12T06:11:43Z

Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24841-2
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

2025-12-12T06:11:43Z

Author Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-19907-3
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2025-12-12T06:11:43Z

Author Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24950-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I

2025-12-12T06:11:43Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23492-7
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

2025-12-12T06:11:43Z

Author Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30047-9
Format: Electronic Resources
Availability Online Library~1

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

2025-12-12T06:11:43Z

Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27181-6
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

2025-12-12T06:11:43Z

Author Pérez Cáceres, Leslie. editor. Stützle, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30035-6
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

2025-12-12T06:11:43Z

Author Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29927-8
Format: Electronic Resources
Availability Online Library~1

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

2025-12-12T06:11:43Z

Author Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40113-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

2025-12-12T06:11:43Z

Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42293-5
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2025-12-12T06:11:43Z

Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33170-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

2025-12-12T06:11:43Z

Author Huisman, Marieke. editor. Ravara, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35355-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IX

2025-12-12T06:11:43Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6504-5
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

2025-12-12T06:11:43Z

Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45784-5
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2025-12-12T06:11:43Z

Author Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43458-7
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

2025-12-12T06:11:43Z

Author Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7254-8
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Sellmann, Meinolf. editor. Tierney, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44505-7
Format: Electronic Resources
Availability Online Library~1

Complex Computational Ecosystems First International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023, Proceedings

2025-12-12T06:11:43Z

Author Collet, Pierre. editor. Gardashova, Latafat. editor. El Zant, Samer. editor. Abdulkarimova, Ulviya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44355-8
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II

2025-12-12T06:11:43Z

Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49011-8
Format: Electronic Resources
Availability Online Library~1

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II

2025-12-12T06:11:43Z

Author Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49435-2
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

2025-12-12T06:11:43Z

Author Emmerich, Michael. editor. Deutz, André. editor. Wang, Hao. editor. Kononova, Anna V. editor. Naujoks, Boris. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27250-9
Format: Electronic Resources
Availability Online Library~1

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings

2025-12-12T06:11:43Z

Author Pellet, Jean-Philippe. editor. Parriaux, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44900-0
Format: Electronic Resources
Availability Online Library~1

Pediatric Hypertension

2025-12-12T06:11:43Z

Author Flynn, Joseph T. editor. Ingelfinger, Julie R. editor. Brady, Tammy M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-06231-5
Format: Electronic Resources
Availability Online Library~1

The Placenta Basics and Clinical Significance

2025-12-12T06:11:43Z

Author Huppertz, Berthold. editor. Schleußner, Ekkehard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-66256-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Artificial Intelligence

2025-12-12T06:11:43Z

Author Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25928-9
Format: Electronic Resources
Availability Online Library~1

Neuraxial Therapeutics A Comprehensive Guide

2025-12-12T06:11:43Z

Author Yaksh, Tony. editor. Hayek, Salim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39558-1
Format: Electronic Resources
Availability Online Library~1

Metabolic Syndrome A Comprehensive Textbook

2025-12-12T06:11:43Z

Author Ahima, Rexford S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40116-9
Format: Electronic Resources
Availability Online Library~1

Human-Friendly Robotics 2022 HFR: 15th International Workshop on Human-Friendly Robotics

2025-12-12T06:11:43Z

Author Borja, Pablo. editor. Della Santina, Cosimo. editor. Peternel, Luka. editor. Torta, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22731-8
Format: Electronic Resources
Availability Online Library~1

Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)

2025-12-12T06:11:43Z

Author Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23149-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Materials Processing and Characterization Select Proceedings of ICMPC 2021

2025-12-12T06:11:43Z

Author Arockiarajan, A. editor. Duraiselvam, M. editor. Raju, Ramesh. editor. Reddy, N. Subba. editor. Satyanarayana, K. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5347-7
Format: Electronic Resources
Availability Online Library~1

Application of Gray System Theory in Fishery Science

2025-12-12T06:11:43Z

Author Chen, Xinjun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0635-2
Format: Electronic Resources
Availability Online Library~1

Advances in Maternal-Fetal Biomedicine Cellular and Molecular Mechanisms of Pregnancy Pathologies

2025-12-12T06:11:43Z

Author Gonzalez-Ortiz, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32554-0
Format: Electronic Resources
Availability Online Library~1

Challenges of Software Verification

2025-12-12T06:11:43Z

Author Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9601-6
Format: Electronic Resources
Availability Online Library~1

International Conference on Innovative Computing and Communications Proceedings of ICICC 2023, Volume 1

2025-12-12T06:11:43Z

Author Hassanien, Aboul Ella. editor. Castillo, Oscar. editor. Anand, Sameer. editor. Jaiswal, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3315-0
Format: Electronic Resources
Availability Online Library~1

Handbook of Neuroengineering

2025-12-12T06:11:43Z

Author Thakor, Nitish V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-16-5540-1
Format: Electronic Resources
Availability Online Library~1

Methodologies and Intelligent Systems for Technology Enhanced Learning, 12th International Conference

2025-12-12T06:11:43Z

Author Temperini, Marco. editor. Scarano, Vittorio. editor. Marenzi, Ivana. editor. Kravcik, Milos. editor. Popescu, Elvira. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20617-7
Format: Electronic Resources
Availability Online Library~1

Supporting Web Search and Navigation by an Overlay Linking Structure

2025-12-12T06:11:43Z

Author Roßrucker, Georg Philipp. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48393-6
Format: Electronic Resources
Availability Online Library~1

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

2025-12-12T06:11:43Z

Author Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4929-6
Format: Electronic Resources
Availability Online Library~1

Sensing Technology Proceedings of ICST'15

2025-12-12T06:11:43Z

Author Suryadevara, Nagender Kumar. editor. George, Boby. editor. Jayasundera, Krishanthi P. editor. Mukhopadhyay, Subhas Chandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29871-4
Format: Electronic Resources
Availability Online Library~1

Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023

2025-12-12T06:11:43Z

Author Galizia, Francesco Gabriele. editor. Bortolini, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34821-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2025-12-12T06:11:43Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-19604-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Robot Implementation and Applications

2025-12-12T06:11:43Z

Author Duan, Feng. author. Li, Wenyu. author. Tan, Ying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8253-8
Format: Electronic Resources
Availability Online Library~1

Data Science Concepts and Techniques with Applications

2025-12-12T06:11:43Z

Author Qamar, Usman. author. Raza, Muhammad Summair. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17442-1
Format: Electronic Resources
Availability Online Library~1

ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings

2025-12-12T06:11:43Z

Author Brooks, Anthony L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28993-4
Format: Electronic Resources
Availability Online Library~1

Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings

2025-12-12T06:11:43Z

Author Uden, Lorna. editor. Liberona, Dario. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34754-2
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2025-12-12T06:11:43Z

Author Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34147-2
Format: Electronic Resources
Availability Online Library~1

Python Data Science

2025-12-12T06:11:43Z

Author Borjigin, Chaolemen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7702-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computing 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17-21, 2022, Revised Selected Papers

2025-12-12T06:11:43Z

Author Agredo-Delgado, Vanessa. editor. Ruiz, Pablo H. editor. (orcid) Ruiz Gaona, Alexandra. editor. Villegas Ramírez, María Lili. editor. Giraldo Orozco, William Joseph. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36357-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

2025-12-12T06:11:43Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35078-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

2025-12-12T06:11:43Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35081-8
Format: Electronic Resources
Availability Online Library~1

Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36833-2
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38864-4
Format: Electronic Resources
Availability Online Library~1

Optimization Methods for Product and System Design

2025-12-12T06:11:43Z

Author Kulkarni, Anand J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1521-7
Format: Electronic Resources
Availability Online Library~1

Neuro Symbolic Reasoning and Learning

2025-12-12T06:11:43Z

Author Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39179-8
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III

2025-12-12T06:11:43Z

Author Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43670-3
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV

2025-12-12T06:11:43Z

Author Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43688-8
Format: Electronic Resources
Availability Online Library~1

Embedded and Real-Time Operating Systems

2025-12-12T06:11:43Z

Author Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28701-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

2025-12-12T06:11:43Z

Author Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33338-5
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

2025-12-12T06:11:43Z

Author Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32041-5
Format: Electronic Resources
Availability Online Library~1

Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

2025-12-12T06:11:43Z

Author Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32180-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I

2025-12-12T06:11:43Z

Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42280-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

2025-12-12T06:11:43Z

Author Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27534-0
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

2025-12-12T06:11:43Z

Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33620-1
Format: Electronic Resources
Availability Online Library~1

End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedings

2025-12-12T06:11:43Z

Author Spano, Lucio Davide. editor. Schmidt, Albrecht. editor. (orcid) Santoro, Carmen. editor. Stumpf, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34433-6
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

2025-12-12T06:11:43Z

Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30108-7
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings

2025-12-12T06:11:43Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41673-6
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

2025-12-12T06:11:43Z

Author Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38100-3
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2025-12-12T06:11:43Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2023: Parallel Processing 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings

2025-12-12T06:11:43Z

Author Cano, José. editor. Dikaiakos, Marios D. editor. Papadopoulos, George A. editor. Pericàs, Miquel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39698-4
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

2025-12-12T06:11:43Z

Author Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43619-2
Format: Electronic Resources
Availability Online Library~1

Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

2025-12-12T06:11:43Z

Author Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32883-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Mechatronics An Integrated Approach

2025-12-12T06:11:43Z

Author Samanta, Biswanath. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29320-7
Format: Electronic Resources
Availability Online Library~1

Sensor networks in theory and practice Successfully realize embedded systems projects

2025-12-12T06:11:43Z

Author Meroth, Ansgar. author. Sora, Petre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-39576-6
Format: Electronic Resources
Availability Online Library~1

BUiD Doctoral Research Conference 2022 Multidisciplinary Studies

2025-12-12T06:11:43Z

Author Al Marri, Khalid. editor. Mir, Farzana. editor. David, Solomon. editor. Aljuboori, Aos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27462-6
Format: Electronic Resources
Availability Online Library~1

Software Defined Chips Volume II

2025-12-12T06:11:43Z

Author Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7636-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Intelligent Welding Manufacturing Volume IV No. 2 2020

2025-12-12T06:11:43Z

Author Chen, Shanben. editor. Zhang, Yuming. editor. Feng, Zhili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6149-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Artificial Intelligence, 19th International Conference

2025-12-12T06:11:43Z

Author Omatu, Sigeru. editor. Mehmood, Rashid. editor. Sitek, Pawel. editor. Cicerone, Serafino. editor. Rodríguez, Sara. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20859-1
Format: Electronic Resources
Availability Online Library~1

Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers

2025-12-12T06:11:43Z

Author Gusikhin, Oleg. editor. Madani, Kurosh. editor. Nijmeijer, Henk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26474-0
Format: Electronic Resources
Availability Online Library~1

Robotics in Education Proceedings of the RiE 2023 Conference

2025-12-12T06:11:43Z

Author Balogh, Richard. editor. Obdržálek, David. editor. Christoforou, Eftychios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38454-7
Format: Electronic Resources
Availability Online Library~1

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2025-12-12T06:11:43Z

Author Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42034-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

2025-12-12T06:11:43Z

Author Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47963-2
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48539-8
Format: Electronic Resources
Availability Online Library~1

AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

2025-12-12T06:11:43Z

Author Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47546-7
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures

2025-12-12T06:11:43Z

Author Bertossi, Leopoldo. editor. Xiao, Guohui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31414-8
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers

2025-12-12T06:11:43Z

Author Singer, Jeremy. editor. Elkhatib, Yehia. editor. Blanco Heras, Dora. editor. Diehl, Patrick. editor. (orcid) Brown, Nick. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31209-0
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40843-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-12T06:11:43Z

Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44198-1
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

2025-12-12T06:11:43Z

Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52038-9
Format: Electronic Resources
Availability Online Library~1

Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

2025-12-12T06:11:43Z

Author Olenev, Nicholas. editor. (orcid) Evtushenko, Yuri. editor. Jaćimović, Milojica. editor. Khachay, Michael. editor. (orcid) Malkova, Vlasta. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47859-8
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings

2025-12-12T06:11:43Z

Author Blanc-Talon, Jaques. editor. Delmas, Patrice. editor. Philips, Wilfried. editor. Scheunders, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45382-3
Format: Electronic Resources
Availability Online Library~1