Search Results for Logic. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ic$003dtrue$0026ps$003d300?
2025-12-14T13:16:51Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The logic of practice
ent://SD_ILS/0/SD_ILS:90557
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number GN 468 B6813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Fuzzy Logic-Based Software Systems
ent://SD_ILS/0/SD_ILS:528631
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Chrysafiadi, Konstantina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44457-9">https://doi.org/10.1007/978-3-031-44457-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R-Calculus, IV: Propositional Logic
ent://SD_ILS/0/SD_ILS:520383
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8633-8">https://doi.org/10.1007/978-981-19-8633-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Type-3 Fuzzy Logic in Intelligent Control
ent://SD_ILS/0/SD_ILS:528765
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46088-3">https://doi.org/10.1007/978-3-031-46088-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Farmer, William M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number BC 108 B65 1928 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Postmodernism, or, The cultural logic of late capitalism
ent://SD_ILS/0/SD_ILS:76042
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520823
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520827
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25894-7">https://doi.org/10.1007/978-3-031-25894-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520880
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521376
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49299-0">https://doi.org/10.1007/978-3-031-49299-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521384
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26622-5">https://doi.org/10.1007/978-3-031-26622-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521192
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
ent://SD_ILS/0/SD_ILS:528546
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Polkowski, Lech T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42034-4">https://doi.org/10.1007/978-3-031-42034-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology
ent://SD_ILS/0/SD_ILS:528705
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Abe, Jair Minoro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35759-6">https://doi.org/10.1007/978-3-031-35759-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WAIC and WBIC with Python Stan 100 Exercises for Building Logic
ent://SD_ILS/0/SD_ILS:528961
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Suzuki, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3841-4">https://doi.org/10.1007/978-981-99-3841-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
ent://SD_ILS/0/SD_ILS:528999
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21780-7">https://doi.org/10.1007/978-3-031-21780-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
ent://SD_ILS/0/SD_ILS:529017
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28999-6">https://doi.org/10.1007/978-3-031-28999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Locking A Practical Approach to Secure Hardware
ent://SD_ILS/0/SD_ILS:527100
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19123-7">https://doi.org/10.1007/978-3-031-19123-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Landscape Architecture: Logic, Structure, Method and Application
ent://SD_ILS/0/SD_ILS:527245
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Cheng, Yuning. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2046-4">https://doi.org/10.1007/978-981-99-2046-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Error Logic: Paving Pathways for Intelligent Error Identification and Management
ent://SD_ILS/0/SD_ILS:527425
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Liu, Shiyong. author. Guo, Kaizhong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-00820-7">https://doi.org/10.1007/978-3-031-00820-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521080
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39965-7">https://doi.org/10.1007/978-3-031-39965-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521245
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521257
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43977-3">https://doi.org/10.1007/978-3-031-43977-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521259
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45558-2">https://doi.org/10.1007/978-3-031-45558-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design
ent://SD_ILS/0/SD_ILS:526713
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22042-5">https://doi.org/10.1007/978-3-031-22042-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications
ent://SD_ILS/0/SD_ILS:526825
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Castillo, Oscar. editor. Kumar, Anupam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26332-3">https://doi.org/10.1007/978-3-031-26332-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WAIC and WBIC with R Stan 100 Exercises for Building Logic
ent://SD_ILS/0/SD_ILS:520717
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Suzuki, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3838-4">https://doi.org/10.1007/978-981-99-3838-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520731
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7869-4">https://doi.org/10.1007/978-981-99-7869-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521191
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36978-0">https://doi.org/10.1007/978-3-031-36978-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>
A treatise on induction and probability
ent://SD_ILS/0/SD_ILS:55443
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 91 W72 1951 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
ent://SD_ILS/0/SD_ILS:72527
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N5 1930 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:72539
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 6 W72 1957 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:79068
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number R 857.S47 N66 2000- V.2<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Communication : a philosophical study of language
ent://SD_ILS/0/SD_ILS:72500
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Dialectic
ent://SD_ILS/0/SD_ILS:72501
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:76943
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Akay, Metin.<br/>Preferred Shelf Number QT 26.5 N813 2000-<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520784
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520788
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520796
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19907-3">https://doi.org/10.1007/978-3-031-19907-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520802
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520837
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30047-9">https://doi.org/10.1007/978-3-031-30047-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
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520858
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32180-1">https://doi.org/10.1007/978-3-031-32180-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:520864
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520868
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33498-6">https://doi.org/10.1007/978-3-031-33498-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:520898
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520911
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521340
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521359
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47966-3">https://doi.org/10.1007/978-3-031-47966-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Prolog: The Next 50 Years
ent://SD_ILS/0/SD_ILS:521397
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521406
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47745-4">https://doi.org/10.1007/978-3-031-47745-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:521411
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521324
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Medical Persuasion Understanding the Impact on Medical Argumentation
ent://SD_ILS/0/SD_ILS:521482
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Velanovich, Vic. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30371-5">https://doi.org/10.1007/978-3-031-30371-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber Technologies and Emerging Sciences ICCTES 2021
ent://SD_ILS/0/SD_ILS:526691
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-2538-2">https://doi.org/10.1007/978-981-19-2538-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
ent://SD_ILS/0/SD_ILS:527015
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-5443-6">https://doi.org/10.1007/978-981-19-5443-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022
ent://SD_ILS/0/SD_ILS:527027
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Mesquita, Anabela. editor. Abreu, António. editor. (orcid)0000-0001-5958-9188 Carvalho, João Vidal. editor. (orcid)0000-0001-9727-0557 de Mello, Cristina Helena Pinto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6585-2">https://doi.org/10.1007/978-981-19-6585-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021
ent://SD_ILS/0/SD_ILS:527157
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6383-4">https://doi.org/10.1007/978-981-19-6383-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embracing Machines and Humanity Through Cognitive Computing and IoT
ent://SD_ILS/0/SD_ILS:527331
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4522-9">https://doi.org/10.1007/978-981-19-4522-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning Support for Fault Diagnosis of System-on-Chip
ent://SD_ILS/0/SD_ILS:527527
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Girard, Patrick. editor. Blanton, Shawn. editor. Wang, Li-C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19639-3">https://doi.org/10.1007/978-3-031-19639-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
ent://SD_ILS/0/SD_ILS:527915
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8497-6">https://doi.org/10.1007/978-981-19-8497-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
ent://SD_ILS/0/SD_ILS:528208
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Izadian, Afshin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21908-5">https://doi.org/10.1007/978-3-031-21908-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
ent://SD_ILS/0/SD_ILS:528660
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23636-5">https://doi.org/10.1007/978-3-031-23636-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Metaheuristics: Methods and Analysis
ent://SD_ILS/0/SD_ILS:528726
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6645-5">https://doi.org/10.1007/978-981-99-6645-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
ent://SD_ILS/0/SD_ILS:528783
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7874-6">https://doi.org/10.1007/978-981-19-7874-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. II
ent://SD_ILS/0/SD_ILS:529019
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23476-7">https://doi.org/10.1007/978-3-031-23476-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing for Security Applications Proceedings of ICSCS 2023
ent://SD_ILS/0/SD_ILS:529021
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3608-3">https://doi.org/10.1007/978-981-99-3608-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023
ent://SD_ILS/0/SD_ILS:529124
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3611-3">https://doi.org/10.1007/978-981-99-3611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Mathematics for Tackling Complex Problems 4
ent://SD_ILS/0/SD_ILS:529074
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-07707-4">https://doi.org/10.1007/978-3-031-07707-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
ent://SD_ILS/0/SD_ILS:529090
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4929-6">https://doi.org/10.1007/978-981-19-4929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3
ent://SD_ILS/0/SD_ILS:526859
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2362-5">https://doi.org/10.1007/978-981-99-2362-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems Design using the MSP430FR2355 LaunchPad™
ent://SD_ILS/0/SD_ILS:527210
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20888-1">https://doi.org/10.1007/978-3-031-20888-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Behaviour of Distributed Systems Using mCRL2
ent://SD_ILS/0/SD_ILS:527315
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23008-0">https://doi.org/10.1007/978-3-031-23008-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann
ent://SD_ILS/0/SD_ILS:527384
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-16-7487-7">https://doi.org/10.1007/978-981-16-7487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Technologies in Logistics and Infrastructure
ent://SD_ILS/0/SD_ILS:527592
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ilin, Igor. editor. (orcid)0000-0003-2981-0624 Jahn, Carlos. editor. Tick, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24434-6">https://doi.org/10.1007/978-3-031-24434-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handling Uncertainty in Artificial Intelligence
ent://SD_ILS/0/SD_ILS:527759
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Chaki, Jyotismita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5333-2">https://doi.org/10.1007/978-981-99-5333-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
ent://SD_ILS/0/SD_ILS:527962
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39774-5">https://doi.org/10.1007/978-3-031-39774-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2
ent://SD_ILS/0/SD_ILS:527963
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39777-6">https://doi.org/10.1007/978-3-031-39777-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Security Training, Hands-on!
ent://SD_ILS/0/SD_ILS:527989
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31034-8">https://doi.org/10.1007/978-3-031-31034-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
ent://SD_ILS/0/SD_ILS:528338
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28916-3">https://doi.org/10.1007/978-3-031-28916-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information Processing with Matlab
ent://SD_ILS/0/SD_ILS:528632
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Zhang, Xiu. author. Zhang, Xin. author. Wang, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6449-9">https://doi.org/10.1007/978-981-99-6449-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
ent://SD_ILS/0/SD_ILS:528825
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6431-4">https://doi.org/10.1007/978-981-99-6431-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Information Processing 2023
ent://SD_ILS/0/SD_ILS:528833
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Cohen, Kelly. editor. Ernest, Nicholas. editor. Bede, Barnabas. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46778-3">https://doi.org/10.1007/978-3-031-46778-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Speaking of Forms of Life The Language of Conservation
ent://SD_ILS/0/SD_ILS:528845
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Campagna, Claudio. author. Guevara, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34534-0">https://doi.org/10.1007/978-3-031-34534-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:521062
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40289-0">https://doi.org/10.1007/978-3-031-40289-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521082
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42626-1">https://doi.org/10.1007/978-3-031-42626-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521089
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Atluri, Vijayalakshmi. editor. Ferrara, Anna Lisa. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37586-6">https://doi.org/10.1007/978-3-031-37586-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521111
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Holzinger, Andreas. editor. Kieseberg, Peter. editor. Cabitza, Federico. editor. Campagner, Andrea. editor. Tjoa, A Min. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40837-3">https://doi.org/10.1007/978-3-031-40837-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521126
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42935-4">https://doi.org/10.1007/978-3-031-42935-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521127
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43264-4">https://doi.org/10.1007/978-3-031-43264-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:521033
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35129-7">https://doi.org/10.1007/978-3-031-35129-7</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
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521244
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:521280
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47546-7">https://doi.org/10.1007/978-3-031-47546-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521289
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28244-7">https://doi.org/10.1007/978-3-031-28244-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521296
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33469-6">https://doi.org/10.1007/978-3-031-33469-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521300
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37616-0">https://doi.org/10.1007/978-3-031-37616-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521307
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40725-3">https://doi.org/10.1007/978-3-031-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nucleic Acid Biology and its Application in Human Diseases
ent://SD_ILS/0/SD_ILS:526841
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Chatterjee, Subhrangsu. editor. Chattopadhyay, Samit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8520-1">https://doi.org/10.1007/978-981-19-8520-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Abductive Cognition
ent://SD_ILS/0/SD_ILS:526739
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Magnani, Lorenzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-10135-9">https://doi.org/10.1007/978-3-031-10135-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Design from the VLSI Perspective Concepts for VLSI Beginners
ent://SD_ILS/0/SD_ILS:526891
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-4652-3">https://doi.org/10.1007/978-981-19-4652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microelectronics, Circuits and Systems Select Proceedings of Micro2021
ent://SD_ILS/0/SD_ILS:527943
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0412-9">https://doi.org/10.1007/978-981-99-0412-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science for Engineering and Education VI
ent://SD_ILS/0/SD_ILS:528064
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36118-0">https://doi.org/10.1007/978-3-031-36118-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
ent://SD_ILS/0/SD_ILS:528130
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29306-1">https://doi.org/10.1007/978-3-031-29306-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
ent://SD_ILS/0/SD_ILS:528444
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40997-4">https://doi.org/10.1007/978-3-031-40997-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1
ent://SD_ILS/0/SD_ILS:528616
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2653-4">https://doi.org/10.1007/978-981-99-2653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
ent://SD_ILS/0/SD_ILS:528595
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22311-2">https://doi.org/10.1007/978-3-031-22311-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
ent://SD_ILS/0/SD_ILS:529089
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6780-1">https://doi.org/10.1007/978-981-19-6780-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2
ent://SD_ILS/0/SD_ILS:529101
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1260-5">https://doi.org/10.1007/978-981-99-1260-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Automation of Quantum Computers
ent://SD_ILS/0/SD_ILS:520174
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Topaloglu, Rasit O. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-15699-1">https://doi.org/10.1007/978-3-031-15699-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520219
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31353-0">https://doi.org/10.1007/978-3-031-31353-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17411-7">https://doi.org/10.1007/978-3-031-17411-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradigms of Smart and Intelligent Communication, 5G and Beyond
ent://SD_ILS/0/SD_ILS:520326
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0109-8">https://doi.org/10.1007/978-981-99-0109-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics for Computer Scientists A Practice-Oriented Approach
ent://SD_ILS/0/SD_ILS:520344
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520368
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28180-8">https://doi.org/10.1007/978-3-031-28180-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature of Computation and Communication 8th EAI International Conference, ICTCC 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520373
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28790-9">https://doi.org/10.1007/978-3-031-28790-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ent://SD_ILS/0/SD_ILS:520401
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Schreiner, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24934-1">https://doi.org/10.1007/978-3-031-24934-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:520416
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29386-3">https://doi.org/10.1007/978-3-031-29386-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520459
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34622-4">https://doi.org/10.1007/978-3-031-34622-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520477
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34896-9">https://doi.org/10.1007/978-3-031-34896-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520498
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35078-8">https://doi.org/10.1007/978-3-031-35078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520499
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35081-8">https://doi.org/10.1007/978-3-031-35081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520500
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36833-2">https://doi.org/10.1007/978-3-031-36833-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520518
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38296-3">https://doi.org/10.1007/978-3-031-38296-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
ent://SD_ILS/0/SD_ILS:520574
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520601
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42532-5">https://doi.org/10.1007/978-3-031-42532-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39179-8">https://doi.org/10.1007/978-3-031-39179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520625
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42622-3">https://doi.org/10.1007/978-3-031-42622-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520668
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29126-5">https://doi.org/10.1007/978-3-031-29126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520693
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45438-7">https://doi.org/10.1007/978-3-031-45438-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Konrad Zuse's Early Computers The Quest for the Computer in Germany
ent://SD_ILS/0/SD_ILS:520704
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Rojas, Raúl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39876-6">https://doi.org/10.1007/978-3-031-39876-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages: Principles and Paradigms
ent://SD_ILS/0/SD_ILS:520706
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34144-1">https://doi.org/10.1007/978-3-031-34144-1</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
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Gianola, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520735
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8296-7">https://doi.org/10.1007/978-981-99-8296-7</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
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520965
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40113-8">https://doi.org/10.1007/978-3-031-40113-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520982
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5837-5">https://doi.org/10.1007/978-981-99-5837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521001
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36402-0">https://doi.org/10.1007/978-3-031-36402-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521002
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36616-1">https://doi.org/10.1007/978-3-031-36616-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521139
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</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
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:521166
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44204-9">https://doi.org/10.1007/978-3-031-44204-9</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 IV
ent://SD_ILS/0/SD_ILS:521170
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44216-2">https://doi.org/10.1007/978-3-031-44216-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521178
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Kadry, Seifedine. editor. Prasath, Rajendra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44084-7">https://doi.org/10.1007/978-3-031-44084-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521379
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521194
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43153-1">https://doi.org/10.1007/978-3-031-43153-1</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
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>
Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521228
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45275-8">https://doi.org/10.1007/978-3-031-45275-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum
ent://SD_ILS/0/SD_ILS:526935
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Huang, Jian. author. Zhang, Mengshi. author. Fukuda, Toshio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7157-0">https://doi.org/10.1007/978-981-19-7157-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Defined Chips Volume II
ent://SD_ILS/0/SD_ILS:527085
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7636-0">https://doi.org/10.1007/978-981-19-7636-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics
ent://SD_ILS/0/SD_ILS:527193
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21090-7">https://doi.org/10.1007/978-3-031-21090-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I
ent://SD_ILS/0/SD_ILS:527883
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20153-0">https://doi.org/10.1007/978-3-031-20153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis
ent://SD_ILS/0/SD_ILS:528530
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Jantsch, Axel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35605-6">https://doi.org/10.1007/978-3-031-35605-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and the Internet of Things in Education Models and Applications
ent://SD_ILS/0/SD_ILS:528532
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Idoko, John Bush. editor. Abiyev, Rahib. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42924-8">https://doi.org/10.1007/978-3-031-42924-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021
ent://SD_ILS/0/SD_ILS:528280
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Manik, Gaurav. editor. Kalia, Susheel. editor. Verma, Om Prakash. editor. Sharma, Tarun K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-2188-9">https://doi.org/10.1007/978-981-19-2188-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optical and Wireless Technologies Proceedings of OWT 2021
ent://SD_ILS/0/SD_ILS:528282
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-1645-8">https://doi.org/10.1007/978-981-19-1645-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
ent://SD_ILS/0/SD_ILS:528283
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-1669-4">https://doi.org/10.1007/978-981-19-1669-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021
ent://SD_ILS/0/SD_ILS:528352
2025-12-14T13:16:51Z
2025-12-14T13:16:51Z
Author Sivaram, N. M. editor. Sankaranarayanasamy, K. editor. Davim, J. Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1288-9">https://doi.org/10.1007/978-981-99-1288-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>