Search Results for Logic. - Narrowed by: 2023

Archaeology of logic

2026-01-14T06:30:16Z

Author Schumann, Andrew, author.
Preferred Shelf Number K213
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003316466 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to logic

2026-01-14T06:30:16Z

Author Suppes, Patrick Colonel, 1922-
Preferred Shelf Number BC 108 S85 1957
Format: Books
Availability Beytepe Library~1

Advances in modal logic

2026-01-14T06:30:16Z

Author Kracht, Marcus, ed.
Preferred Shelf Number BC 199.M6 A38 1998- V.1
Format: Books
Availability Beytepe Library~2

The logic of practice

2026-01-14T06:30:16Z

Author Bourdieu, Pierre, 1930-2002
Preferred Shelf Number GN 468 B6813 1990
Format: Books
Availability Beytepe Library~1

Logic : the theory of formal inference

2026-01-14T06:30:16Z

Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Preferred Shelf Number BC 108 A55 1972
Format: Books
Availability Beytepe Library~1

Chance, love and logic : philosophical essays

2026-01-14T06:30:16Z

Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Preferred Shelf Number B 945.P43 C5 1923 (SET)
Format: Books
Availability Beytepe Library~1

Mathematical logic : A course with exercises

2026-01-14T06:30:16Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

Studies in inductive logic and probability

2026-01-14T06:30:16Z

Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Preferred Shelf Number QA 273.4 C37 1971-
Format: Books
Availability Beytepe Library~1

Fuzzy Logic-Based Software Systems

2026-01-14T06:30:16Z

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

R-Calculus, IV: Propositional Logic

2026-01-14T06:30:16Z

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

Type-3 Fuzzy Logic in Intelligent Control

2026-01-14T06:30:16Z

Author Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46088-3
Format: Electronic Resources
Availability Online Library~1

Lollipop logic : book 1, grades K-2

2026-01-14T06:30:16Z

Author Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Preferred Shelf Number LB1590.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003279723 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Perspective as logic : positioning film in architecture

2026-01-14T06:30:16Z

Author Roimpas, Stefanos, 1989- author.
Preferred Shelf Number NA2500
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003344995 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The rise of modern logic from Leibniz to Frege

2026-01-14T06:30:16Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-01-14T06:30:16Z

Author Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21112-6
Format: Electronic Resources
Availability Online Library~1

The technique of controversy : principles of dynamic logic

2026-01-14T06:30:16Z

Author Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number BC 108 B65 1928 (SET)
Format: Books
Availability Beytepe Library~1

The limits of science : outline of logic and of the methodology of the exact sciences

2026-01-14T06:30:16Z

Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number Q 175 C494 1948 A (SET)
Format: Books
Availability Beytepe Library~1

Postmodernism, or, The cultural logic of late capitalism

2026-01-14T06:30:16Z

Author Jameson, Fredric.
Preferred Shelf Number PN 98.P67 J3 1991
Format: Books
Availability Beytepe Library~2

WAIC and WBIC with R Stan 100 Exercises for Building Logic

2026-01-14T06:30:16Z

Author Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3838-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings

2026-01-14T06:30:16Z

Author Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7869-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

Author Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39965-7
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design

2026-01-14T06:30:16Z

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

Logic Locking A Practical Approach to Secure Hardware

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

Author Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25894-7
Format: Electronic Resources
Availability Online Library~1

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

2026-01-14T06:30:16Z

Author Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26622-5
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2026-01-14T06:30:16Z

Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26689-8
Format: Electronic Resources
Availability Online Library~1

Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

2026-01-14T06:30:16Z

Author Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36978-0
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

2026-01-14T06:30:16Z

Author Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40875-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

2026-01-14T06:30:16Z

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

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

2026-01-14T06:30:16Z

Author Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43977-3
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings

2026-01-14T06:30:16Z

Author Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45558-2
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"

2026-01-14T06:30:16Z

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

Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics

2026-01-14T06:30:16Z

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

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

2026-01-14T06:30:16Z

Author Castillo, Oscar. editor. Kumar, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26332-3
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

2026-01-14T06:30:16Z

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

WAIC and WBIC with Python Stan 100 Exercises for Building Logic

2026-01-14T06:30:16Z

Author Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3841-4
Format: Electronic Resources
Availability Online Library~1

Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)

2026-01-14T06:30:16Z

Author Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21780-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

2026-01-14T06:30:16Z

Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39784-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Logic for kids : all aboard the Therefore Train!

2026-01-14T06:30:16Z

Author Cusmariu, Arnold, author.
Preferred Shelf Number BC108
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003359289 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The freest market in the world : the constitutional logic of economic liberty in Hong Kong

2026-01-14T06:30:16Z

Author Villalta Puig, Gonzalo, author. Ip, Eric Chi Yeung, author.
Preferred Shelf Number KNQ9370.3 .V55 2022
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429341229 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.

2026-01-14T06:30:16Z

Author Babu, Hafiz Md. Hasan, 1966-
Preferred Shelf Number QH506
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003381921 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Digital Landscape Architecture: Logic, Structure, Method and Application

2026-01-14T06:30:16Z

Author Cheng, Yuning. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2046-4
Format: Electronic Resources
Availability Online Library~1

Error Logic: Paving Pathways for Intelligent Error Identification and Management

2026-01-14T06:30:16Z

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

LOGIC FOR JUSTICE an introduction to formal logic with an emphasis on political reform.

2026-01-14T06:30:16Z

Author Wilhelm, Isaac.
Preferred Shelf Number JC11
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003200970 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Gonzo governance : the media logic of Donald Trump

2026-01-14T06:30:16Z

Author Altheide, David L.
Preferred Shelf Number E912 .A43 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003330837 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Gender-responsive governance in Sierra Leone : the transitions and logic of inequality

2026-01-14T06:30:16Z

Author Lahai, John Idriss, author.
Preferred Shelf Number HQ1236.5 .S5 .L343 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003384083 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The new logic of sexual violence in enlightenment France : rationalizing rape

2026-01-14T06:30:16Z

Author McAlpin, Mary, 1960- author.
Preferred Shelf Number HV6593 .F7
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003283898 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

NONRATIONAL LOGIC IN CONTEMPORARY SOCIETY a depth psychology perspective on magical thinking,... conspiracy theories and folk devils among us.

2026-01-14T06:30:16Z

Author Kline, Jim.
Preferred Shelf Number HV6275
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003271482 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Algorithms for Constructing Computably Enumerable Sets

2026-01-14T06:30:16Z

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

A treatise on induction and probability

2026-01-14T06:30:16Z

Author Wright, Georg Henrik von, 1916-
Preferred Shelf Number BC 91 W72 1951 (SET)
Format: Books
Availability Beytepe Library~1

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

2026-01-14T06:30:16Z

Author Nicod, Jean, 1893-1924.
Preferred Shelf Number QA 681 N5 1930 (SET)
Format: Books
Availability Beytepe Library~1

Logical studies

2026-01-14T06:30:16Z

Author Wright, Georg Henrik von, 1916-
Preferred Shelf Number BC 6 W72 1957 (SET)
Format: Books
Availability Beytepe Library~1

Cylindric algebras

2026-01-14T06:30:16Z

Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Preferred Shelf Number QA 9 H415 1971- V.1
Format: Books
Availability Beytepe Library~1

The nature of mathematics : a critical survey

2026-01-14T06:30:16Z

Author Black, Max, 1909-
Preferred Shelf Number QA 9 B62 1933 (SET)
Format: Books
Availability Beytepe Library~1

The foundations of mathematics : and other logical essays

2026-01-14T06:30:16Z

Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number QA 9 R23 1931
Format: Books
Availability Beytepe Library~1

An examination of logical positivism

2026-01-14T06:30:16Z

Author Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number B 824.6 W434 1936 (SET)
Format: Books
Availability Beytepe Library~1

Communication : a philosophical study of language

2026-01-14T06:30:16Z

Author Britton, Karl, 1909-
Preferred Shelf Number P 105 B75 1939 (SET)
Format: Books
Availability Beytepe Library~1

Dialectic

2026-01-14T06:30:16Z

Author Adler, Mortimer Jerome, 1902-
Preferred Shelf Number BC 177 A4 1927 (SET)
Format: Books
Availability Beytepe Library~1

The logical syntax of language

2026-01-14T06:30:16Z

Author Carnap, Rudolf, 1891-1970.
Preferred Shelf Number BC 135 C323 1937 P (SET)
Format: Books
Availability Beytepe Library~1

Nonlinear biomedical signal processing

2026-01-14T06:30:16Z

Author Akay, Metin.
Preferred Shelf Number QT 26.5 N813 2000-
Format: Books
Availability Health Sciences Library~1

Nonlinear biomedical signal processing

2026-01-14T06:30:16Z

Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number R 857.S47 N66 2000- V.2
Format: Books
Availability Beytepe Library~3

İslam mantık tarihi ve Farabi mantığı

2026-01-14T06:30:16Z

Author Keklik, Nihat.
Preferred Shelf Number BC 34 K4 1969-70
Format: Books
Availability Beytepe Library~1

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

2026-01-14T06:30:16Z

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

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

2026-01-14T06:30:16Z

Author Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21203-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2026-01-14T06:30:16Z

Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27481-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

2026-01-14T06:30:16Z

Author Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25803-9
Format: Electronic Resources
Availability Online Library~1

Verification of Data-Aware Processes via Satisfiability Modulo Theories

2026-01-14T06:30:16Z

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

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

2026-01-14T06:30:16Z

Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35257-7
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

2026-01-14T06:30:16Z

Author Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44267-4
Format: Electronic Resources
Availability Online Library~1

Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings

2026-01-14T06:30:16Z

Author Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45275-8
Format: Electronic Resources
Availability Online Library~1

Cyber Technologies and Emerging Sciences ICCTES 2021

2026-01-14T06:30:16Z

Author Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-2538-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Abductive Cognition

2026-01-14T06:30:16Z

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

Nucleic Acid Biology and its Application in Human Diseases

2026-01-14T06:30:16Z

Author Chatterjee, Subhrangsu. editor. Chattopadhyay, Samit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8520-1
Format: Electronic Resources
Availability Online Library~1

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3

2026-01-14T06:30:16Z

Author Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2362-5
Format: Electronic Resources
Availability Online Library~1

Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum

2026-01-14T06:30:16Z

Author Huang, Jian. author. Zhang, Mengshi. author. Fukuda, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7157-0
Format: Electronic Resources
Availability Online Library~1

Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

2026-01-14T06:30:16Z

Author LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21090-7
Format: Electronic Resources
Availability Online Library~1

Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann

2026-01-14T06:30:16Z

Author Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-16-7487-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning Support for Fault Diagnosis of System-on-Chip

2026-01-14T06:30:16Z

Author Girard, Patrick. editor. Blanton, Shawn. editor. Wang, Li-C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-19639-3
Format: Electronic Resources
Availability Online Library~1

Digital Technologies in Logistics and Infrastructure

2026-01-14T06:30:16Z

Author Ilin, Igor. editor. (orcid)0000-0003-2981-0624 Jahn, Carlos. editor. Tick, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24434-6
Format: Electronic Resources
Availability Online Library~1

Handling Uncertainty in Artificial Intelligence

2026-01-14T06:30:16Z

Author Chaki, Jyotismita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5333-2
Format: Electronic Resources
Availability Online Library~1

Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap

2026-01-14T06:30:16Z

Author Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29306-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

2026-01-14T06:30:16Z

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

Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems

2026-01-14T06:30:16Z

Author Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28916-3
Format: Electronic Resources
Availability Online Library~1

Hardware Security Training, Hands-on!

2026-01-14T06:30:16Z

Author Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31034-8
Format: Electronic Resources
Availability Online Library~1

Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021

2026-01-14T06:30:16Z

Author Sivaram, N. M. editor. Sankaranarayanasamy, K. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1288-9
Format: Electronic Resources
Availability Online Library~1

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1

2026-01-14T06:30:16Z

Author Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2653-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Information Processing with Matlab

2026-01-14T06:30:16Z

Author Zhang, Xiu. author. Zhang, Xin. author. Wang, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6449-9
Format: Electronic Resources
Availability Online Library~1

Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)

2026-01-14T06:30:16Z

Author Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23636-5
Format: Electronic Resources
Availability Online Library~1

Foundation Mathematics for Computer Science A Visual Approach

2026-01-14T06:30:16Z

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

Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

2026-01-14T06:30:16Z

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

Higher Education Computer Science A Manual of Practical Approaches

2026-01-14T06:30:16Z

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

Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

2026-01-14T06:30:16Z

Author Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34896-9
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

2026-01-14T06:30:16Z

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

2026-01-14T06:30:16Z

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

2026-01-14T06:30:16Z

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

Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

2026-01-14T06:30:16Z

Author Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38296-3
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Verification From Model Checking to Annotation Checking

2026-01-14T06:30:16Z

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

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

2026-01-14T06:30:16Z

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

Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings

2026-01-14T06:30:16Z

Author Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42532-5
Format: Electronic Resources
Availability Online Library~1

Neuro Symbolic Reasoning and Learning

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42622-3
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

2026-01-14T06:30:16Z

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

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

2026-01-14T06:30:16Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33498-6
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

2026-01-14T06:30:16Z

Author Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45438-7
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

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

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

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

2026-01-14T06:30:16Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29476-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II

2026-01-14T06:30:16Z

Author Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47966-3
Format: Electronic Resources
Availability Online Library~1

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

2026-01-14T06:30:16Z

Author Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50959-9
Format: Electronic Resources
Availability Online Library~1

Prolog: The Next 50 Years

2026-01-14T06:30:16Z

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

Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings

2026-01-14T06:30:16Z

Author Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47745-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

2026-01-14T06:30:16Z

Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28180-8
Format: Electronic Resources
Availability Online Library~1

Paradigms of Smart and Intelligent Communication, 5G and Beyond

2026-01-14T06:30:16Z

Author Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0109-8
Format: Electronic Resources
Availability Online Library~1

Nature of Computation and Communication 8th EAI International Conference, ICTCC 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings

2026-01-14T06:30:16Z

Author Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28790-9
Format: Electronic Resources
Availability Online Library~1

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

2026-01-14T06:30:16Z

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

Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II

2026-01-14T06:30:16Z

Author Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34622-4
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

2026-01-14T06:30:16Z

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

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

2026-01-14T06:30:16Z

Author Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33180-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

2026-01-14T06:30:16Z

Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38499-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II

2026-01-14T06:30:16Z

Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5837-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2026-01-14T06:30:16Z

Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36402-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings

2026-01-14T06:30:16Z

Author Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36616-1
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III

2026-01-14T06:30:16Z

Author Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40289-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

2026-01-14T06:30:16Z

Author Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42626-1
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings

2026-01-14T06:30:16Z

Author Atluri, Vijayalakshmi. editor. Ferrara, Anna Lisa. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37586-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

Author Holzinger, Andreas. editor. Kieseberg, Peter. editor. Cabitza, Federico. editor. Campagner, Andrea. editor. Tjoa, A Min. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40837-3
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

2026-01-14T06:30:16Z

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

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

2026-01-14T06:30:16Z

Author Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42935-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

2026-01-14T06:30:16Z

Author Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43513-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

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

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-44204-9
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 IV

2026-01-14T06:30:16Z

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-44216-2
Format: Electronic Resources
Availability Online Library~1

Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings

2026-01-14T06:30:16Z

Author Kadry, Seifedine. editor. Prasath, Rajendra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44084-7
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II

2026-01-14T06:30:16Z

Author Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43153-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I

2026-01-14T06:30:16Z

Author Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45368-7
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

2026-01-14T06:30:16Z

Author Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45072-3
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

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

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

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I

2026-01-14T06:30:16Z

Author Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28244-7
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings

2026-01-14T06:30:16Z

Author Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33469-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

Author Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37616-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

2026-01-14T06:30:16Z

Author Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7584-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

Author Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20153-0
Format: Electronic Resources
Availability Online Library~1

Machine Learning and the Internet of Things in Education Models and Applications

2026-01-14T06:30:16Z

Author Idoko, John Bush. editor. Abiyev, Rahib. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42924-8
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

2026-01-14T06:30:16Z

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

Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022

2026-01-14T06:30:16Z

Author Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6431-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

2026-01-14T06:30:16Z

Author Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7874-6
Format: Electronic Resources
Availability Online Library~1

Fuzzy Information Processing 2023

2026-01-14T06:30:16Z

Author Cohen, Kelly. editor. Ernest, Nicholas. editor. Bede, Barnabas. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46778-3
Format: Electronic Resources
Availability Online Library~1

Speaking of Forms of Life The Language of Conservation

2026-01-14T06:30:16Z

Author Campagna, Claudio. author. Guevara, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34534-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

Author Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23476-7
Format: Electronic Resources
Availability Online Library~1

Soft Computing for Security Applications Proceedings of ICSCS 2023

2026-01-14T06:30:16Z

Author Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3608-3
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Mathematics for Tackling Complex Problems 4

2026-01-14T06:30:16Z

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

Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021

2026-01-14T06:30:16Z

Author Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6780-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-14T06:30:16Z

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

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

2026-01-14T06:30:16Z

Author Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1260-5
Format: Electronic Resources
Availability Online Library~1

Digital Design from the VLSI Perspective Concepts for VLSI Beginners

2026-01-14T06:30:16Z

Author Taraate, Vaibbhav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4652-3
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022

2026-01-14T06:30:16Z

Author Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5443-6
Format: Electronic Resources
Availability Online Library~1

Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022

2026-01-14T06:30:16Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6585-2
Format: Electronic Resources
Availability Online Library~1

Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021

2026-01-14T06:30:16Z

Author Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6383-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science for Engineering and Education VI

2026-01-14T06:30:16Z

Author Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36118-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021

2026-01-14T06:30:16Z

Author Manik, Gaurav. editor. Kalia, Susheel. editor. Verma, Om Prakash. editor. Sharma, Tarun K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-2188-9
Format: Electronic Resources
Availability Online Library~1

Optical and Wireless Technologies Proceedings of OWT 2021

2026-01-14T06:30:16Z

Author Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-1645-8
Format: Electronic Resources
Availability Online Library~1

Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021

2026-01-14T06:30:16Z

Author Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-1669-4
Format: Electronic Resources
Availability Online Library~1

Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation

2026-01-14T06:30:16Z

Author van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40997-4
Format: Electronic Resources
Availability Online Library~1

Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis

2026-01-14T06:30:16Z

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

Machine Learning and Metaheuristics: Methods and Analysis

2026-01-14T06:30:16Z

Author Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6645-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

2026-01-14T06:30:16Z

Author Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3611-3
Format: Electronic Resources
Availability Online Library~1

Design Automation of Quantum Computers

2026-01-14T06:30:16Z

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

Mathematics for Computer Scientists A Practice-Oriented Approach

2026-01-14T06:30:16Z

Author Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-40423-9
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

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

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

Konrad Zuse's Early Computers The Quest for the Computer in Germany

2026-01-14T06:30:16Z

Author Rojas, Raúl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39876-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages: Principles and Paradigms

2026-01-14T06:30:16Z

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

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

2026-01-14T06:30:16Z

Author Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8296-7
Format: Electronic Resources
Availability Online Library~1

Medical Persuasion Understanding the Impact on Medical Argumentation

2026-01-14T06:30:16Z

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

The Routledge handbook of propositions

2026-01-14T06:30:16Z

Author Murray, Adam Russell, 1979- editor. Tillman, Chris, 1976- editor.
Preferred Shelf Number BC181
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315270500 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The baseball mysteries : challenging puzzles for logical detectives

2026-01-14T06:30:16Z

Author Butters, Jerry, author. Henle, James M., author.
Preferred Shelf Number QA95
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003332602 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Bernard Schmitt's quantum macroeconomic analysis

2026-01-14T06:30:16Z

Author Cencini, Alvaro, author.
Preferred Shelf Number HB172.5 .C416 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781351271325 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Counterfactualism in the fine arts

2026-01-14T06:30:16Z

Author Reinhuber, Elke, 1970- author.
Preferred Shelf Number N70 .R38 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003148449 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

ELECTRONIC DIGITAL SYSTEM FUNDAMENTALS

2026-01-14T06:30:16Z

Author Patrick, Dale R., author. Fardo, Stephen W., author. Chandra, Vigyan, 1968- author. Fardo, Brian W., author.
Preferred Shelf Number TK7868 .D5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032634234 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

NATURE OF EXPLANATION IN SOCIAL SCIENCES

2026-01-14T06:30:16Z

Author Tiwari, Rajesh Ranjan.
Preferred Shelf Number H61
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003405719 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY arithmetic and combinational circuits.

2026-01-14T06:30:16Z

Author Babu, Hafiz Md. Hasan, 1966-
Preferred Shelf Number QH506
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003381938 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

EPISTEMOLOGY OF MODALITY AND PHILOSOPHICAL METHODOLOGY

2026-01-14T06:30:16Z

Author Vaidya, Anand. Prelević, Duško.
Preferred Shelf Number BC199 .M6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003002192 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Software Defined Chips Volume II

2026-01-14T06:30:16Z

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

Embedded Systems Design using the MSP430FR2355 LaunchPad™

2026-01-14T06:30:16Z

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

Understanding Behaviour of Distributed Systems Using mCRL2

2026-01-14T06:30:16Z

Author Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23008-0
Format: Electronic Resources
Availability Online Library~1

Embracing Machines and Humanity Through Cognitive Computing and IoT

2026-01-14T06:30:16Z

Author Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4522-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022

2026-01-14T06:30:16Z

Author Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8497-6
Format: Electronic Resources
Availability Online Library~1

Microelectronics, Circuits and Systems Select Proceedings of Micro2021

2026-01-14T06:30:16Z

Author Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0412-9
Format: Electronic Resources
Availability Online Library~1

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1

2026-01-14T06:30:16Z

Author Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39774-5
Format: Electronic Resources
Availability Online Library~1

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2

2026-01-14T06:30:16Z

Author Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39777-6
Format: Electronic Resources
Availability Online Library~1

Lectures on digital design principles

2026-01-14T06:30:16Z

Author Mazumder, Pinaki, author. Ebong, Idongesit E., author
Preferred Shelf Number TK7868 .D5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003425762 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS

2026-01-14T06:30:16Z

Author Bacon, Andrew, 1985-
Preferred Shelf Number BC135
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003039181 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

How we argue : 30 lessons in persuasive communication

2026-01-14T06:30:16Z

Author Tindale, Christopher W. (Christopher William), author.
Preferred Shelf Number P301.5 .P47 T56 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003326328 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

PLEA FOR PLAUSIBILITY toward a comparative decision theory.

2026-01-14T06:30:16Z

Author Welch, John R.
Preferred Shelf Number BC143
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003352334 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence in games

2026-01-14T06:30:16Z

Author Roberts, Paul (Game programmer), author. Dent, Nicholas (Illustrator), illustrator.
Preferred Shelf Number QA76.76 .C672 R6327 2023 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003305835 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Multimodal methods in anthropology

2026-01-14T06:30:16Z

Author Collins, Samuel Gerald, author. Durington, Matthew Slover, author.
Preferred Shelf Number GN33
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003330851 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The philosophy of exemplarity : singularity, particularity, and self-reference

2026-01-14T06:30:16Z

Author Mácha, Jakub, author.
Preferred Shelf Number B105 .I3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003299370 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Fuzzy optimization techniques in the areas of science and management

2026-01-14T06:30:16Z

Author Das, Santosh Kumar (Professor of computer science), editor. Giacalone, Massimiliano, editor.
Preferred Shelf Number QA402.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003321712 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Analytic listening in clinical dialogue : basic assumptions

2026-01-14T06:30:16Z

Author Bürgin, Dieter, author. Staehle, Angelika, author. Westhoff, Kerstin, author. Wyler von Ballmoos, Anna, author. Leighton, Sophie, translator.
Preferred Shelf Number RC480.5 .B87 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003304340 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1