Search Results for Set theory

Set theory

2026-05-08T23:07:54Z

Author Kunen, Kenneth.
Preferred Shelf Number QA248 K858 2013
Format: Books
Availability Beytepe Library~1

Set theory

2026-05-08T23:07:54Z

Author Jech, Thomas J.
Preferred Shelf Number QA248 J42 2003
Format: Books
Availability Beytepe Library~1

Set theory

2026-05-08T23:07:54Z

Author Jech, Thomas J.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123819505
Format: Electronic Resources
Availability Online Library~1

Set theory

2026-05-08T23:07:54Z

Author Pinter, Charles C., 1932-
Preferred Shelf Number QA 248 P55 1971
Format: Books
Availability Beytepe Library~1

Set theory

2026-05-08T23:07:54Z

Author Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534170
Format: Electronic Resources
Availability Online Library~1

Set theory

2026-05-08T23:07:54Z

Author Kuratowski, Kazimierz, 1896- Mostowski, Andrzej, ort. yaz.
Preferred Shelf Number QA 248 K768 1968
Format: Books
Availability Beytepe Library~1

Combinatorial set theory

2026-05-08T23:07:54Z

Author Williams, Neil H.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720407228
Format: Electronic Resources
Availability Online Library~1

Computable set theory

2026-05-08T23:07:54Z

Author Cantone, Domenico. Ferro, Alfredo, ort. yaz. Omodeo, Eugenio, ort. yaz.
Preferred Shelf Number QA 248 C194 1989 V.1
Format: Books
Availability Beytepe Library~1

Axiomatic set theory

2026-05-08T23:07:54Z

Author Bernays, Paul, 1888-
Preferred Shelf Number QA 248 B4572 1968
Format: Books
Availability Beytepe Library~1

Abstract set theory

2026-05-08T23:07:54Z

Author Fraenkel, Abraham Adolf, 1891-
Preferred Shelf Number QA 248 F74 1968
Format: Books
Availability Beytepe Library~1

Axiomatic set theory

2026-05-08T23:07:54Z

Author Suppes, Patrick Colonel, 1922-
Preferred Shelf Number QA 248 S92 1960
Format: Books
Availability Beytepe Library~1

Axiomatic set theory

2026-05-08T23:07:54Z

Author Bernays, Paul, 1888-1977.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533869
Format: Electronic Resources
Availability Online Library~1

Naive set theory,

2026-05-08T23:07:54Z

Author Halmos, Paul R. (Paul Richard), 1916-2006.
Preferred Shelf Number QA248 H26 1974
Format: Books
Availability Beytepe Library~1

Abstract set theory

2026-05-08T23:07:54Z

Author Fraenkel, Abraham Adolf, 1891-1965.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533777
Format: Electronic Resources
Availability Online Library~1

Introduction to set theory

2026-05-08T23:07:54Z

Author Hrbacek, Karel. Jech, Thomas J.
Preferred Shelf Number QA248 H68 1999
Format: Books
Availability Beytepe Library~1

Set theory and topology

2026-05-08T23:07:54Z

Author Nanzetta, Philip. Strecker, George E., ort. yaz.
Preferred Shelf Number QA 248 N28 1971 S
Format: Books
Availability Beytepe Library~1

Set theory and linguistics

2026-05-08T23:07:54Z

Author Ortiz, Alejandro. Zierer, Ernesto, ort. yaz.
Preferred Shelf Number P 123 O8
Format: Books
Availability Beytepe Library~1

INTUITIVE AXIOMATIC SET THEORY

2026-05-08T23:07:54Z

Author García, José Luis.
Preferred Shelf Number QA248
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003449911 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of Set Theory

2026-05-08T23:07:54Z

Author Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5764-9
Format: Electronic Resources
Availability Online Library~1

Elements of set theory

2026-05-08T23:07:54Z

Author Enderton, Herbert B.
Preferred Shelf Number QA248 .E5 2009
Format: Books
Availability Beytepe Library~1

Notes on Set Theory

2026-05-08T23:07:54Z

Author Moschovakis, Yiannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31609-4
Format: Electronic Resources
Availability Online Library~1

Exercises in set theory

2026-05-08T23:07:54Z

Author Sigler, L. E.
Preferred Shelf Number QA 248 S52 1966
Format: Books
Availability Beytepe Library~1

Invariant descriptive set theory

2026-05-08T23:07:54Z

Author Gao, Su, 1968, author.
Preferred Shelf Number QA248 .G36 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Classical descriptive set theory

2026-05-08T23:07:54Z

Author Kechris, Alexander S., 1946-
Preferred Shelf Number QA248 K387 1995
Format: Books
Availability Beytepe Library~1

Foundations of set theory

2026-05-08T23:07:54Z

Author Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua. Lévy, Azriel, 1934-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422702
Format: Electronic Resources
Availability Online Library~1

Introduction to set theory

2026-05-08T23:07:54Z

Author Monk, J. James Donald, 1930-
Preferred Shelf Number QA 248 M53 1969
Format: Books
Availability Beytepe Library~1

Set theory and logic

2026-05-08T23:07:54Z

Author Fraenkel, Abraham Adolf, 1891-1965.
Preferred Shelf Number QA 248 F73 1966
Format: Books
Availability Beytepe Library~1

Foundations of set theory

2026-05-08T23:07:54Z

Author Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua, joint author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533883
Format: Electronic Resources
Availability Online Library~1

Appalachian Set Theory 2006–2012

2026-05-08T23:07:54Z

Author Cummings, James. Schimmerling, Ernest.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

A course on set theory

2026-05-08T23:07:54Z

Author Schimmerling, Ernest.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375923
Format: Electronic Resources
Availability Online Library~1

NAIVE SET THEORY a rigorous approach.

2026-05-08T23:07:54Z

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

Set, Measure and Probability Theory

2026-05-08T23:07:54Z

Author Alencar, Marcelo S. Alencar, Raphael T.
Preferred Shelf Number QA248
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032626451 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Connected Dominating Set: Theory and Applications

2026-05-08T23:07:54Z

Author Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331720.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: Electronic Resources
Availability Online Library~1

Ranked set sampling : theory and applications

2026-05-08T23:07:54Z

Author Chen, Zehua. Bai, Zhidong, ort. yaz. Sinha, Bimal K.,1946-
Preferred Shelf Number QA 276.6 C447 2004
Format: Books
Availability Beytepe Library~1

Foundations of point set theory

2026-05-08T23:07:54Z

Author Moore, Robert Lee, 1882-
Preferred Shelf Number QA 611 M768 1962
Format: Books
Availability Beytepe Library~1

SET THEORY an introduction to axiomatic reasoning.

2026-05-08T23:07:54Z

Author André, Robert (Mathematician), author.
Preferred Shelf Number QA248
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003586395 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Concise introduction to logic and set theory

2026-05-08T23:07:54Z

Author Jebril, Iqbal H., author. Dutta, Hemen, 1981- author. Cho, Ilwoo, author.
Preferred Shelf Number QA9 .A5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429022838 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Axiomatic Fuzzy Set Theory and Its Applications

2026-05-08T23:07:54Z

Author Liu, Xiaodong. author. Pedrycz, Witold. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00402-5
Format: Electronic Resources
Availability Online Library~1

Problems and Theorems in Classical Set Theory

2026-05-08T23:07:54Z

Author Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-36219-3
Format: Electronic Resources
Availability Online Library~1

Classic set theory : for guided independent study

2026-05-08T23:07:54Z

Author Goldrei, Derek.
Preferred Shelf Number QA248 .G65 1998
Format: Books
Availability Beytepe Library~1

Combinatorial set theory partition relations for cardinals

2026-05-08T23:07:54Z

Author Erdős, Paul, 1913-1996.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444861573
Format: Electronic Resources
Availability Online Library~1

Axiomatic set theory impredicative theories of classes

2026-05-08T23:07:54Z

Author Chuaqui, R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444861788
Format: Electronic Resources
Availability Online Library~1

Set theory an introduction to independence proofs

2026-05-08T23:07:54Z

Author Kunen, Kenneth.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444854018
Format: Electronic Resources
Availability Online Library~1

Advances in fuzzy set theory and applications

2026-05-08T23:07:54Z

Author Gupta, Madan M., ed. Ragade, Rammohan. K., 1942- ed. Yager, Ronald R., 1941- ed.
Preferred Shelf Number QA 248 A38 1979
Format: Books
Availability Beytepe Library~1

Set theory an introduction to large cardinals

2026-05-08T23:07:54Z

Author Drake, F. R. (Frank Robert)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444105356
Format: Electronic Resources
Availability Online Library~1

Set theory : an introduction to large cardinals

2026-05-08T23:07:54Z

Author Drake, Frank R.
Preferred Shelf Number QA 248 D7 1974
Format: Books
Availability Beytepe Library~1

Schaum's outline of theory and problems of set theory and related topics

2026-05-08T23:07:54Z

Author Lipschutz, Seymour.
Preferred Shelf Number QA248 L6688 1998
Format: Books
Availability Beytepe Library~1

Simplified independence proofs Boolean valued models of set theory

2026-05-08T23:07:54Z

Author Rosser, J. Barkley (John Barkley), 1907-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123745736
Format: Electronic Resources
Availability Online Library~1

Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

2026-05-08T23:07:54Z

Author International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: Electronic Resources
Availability Online Library~1

An Introduction to the Technique of Formative Processes in Set Theory

2026-05-08T23:07:54Z

Author Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74778-1
Format: Electronic Resources
Availability Online Library~1

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-05-08T23:07:54Z

Author Skrzypczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources
Availability Online Library~1

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory

2026-05-08T23:07:54Z

Author Saminger-Platz, Susanne. editor. Mesiar, Radko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28808-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

2026-05-08T23:07:54Z

Author Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6407-4
Format: Electronic Resources
Availability Online Library~1

The Real Numbers An Introduction to Set Theory and Analysis

2026-05-08T23:07:54Z

Author Stillwell, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332876.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01577-4
Format: Electronic Resources
Availability Online Library~1

Combinatorial Set Theory With a Gentle Introduction to Forcing

2026-05-08T23:07:54Z

Author Halbeisen, Lorenz J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2173-2
Format: Electronic Resources
Availability Online Library~1

Incomplete Information System and Rough Set Theory Models and Attribute Reductions

2026-05-08T23:07:54Z

Author Yang, Xibei. author. Yang, Jingyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25935-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic and Set Theory Applying Formalized Logic to Analysis

2026-05-08T23:07:54Z

Author Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-808-9
Format: Electronic Resources
Availability Online Library~1

Defending the axioms on the philosophical foundations of set theory

2026-05-08T23:07:54Z

Author Maddy, Penelope.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199596188.001.0001
Format: Electronic Resources
Availability Online Library~1

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

2026-05-08T23:07:54Z

Author Kennedy, Juliette. Kossak, Roman.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

35 Years of Fuzzy Set Theory Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre

2026-05-08T23:07:54Z

Author Cornelis, Chris. editor. Deschrijver, Glad. editor. Nachtegael, Mike. editor. Schockaert, Steven. editor. Shi, Yun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16629-7
Format: Electronic Resources
Availability Online Library~1

Banach Spaces and Descriptive Set Theory: Selected Topics

2026-05-08T23:07:54Z

Author Dodos, Pandelis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12153-1
Format: Electronic Resources
Availability Online Library~1

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

2026-05-08T23:07:54Z

Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79384-7
Format: Electronic Resources
Availability Online Library~1

Rough Set Theory: A True Landmark in Data Analysis

2026-05-08T23:07:54Z

Author Abraham, Ajith. editor. Falcón, Rafael. editor. Bello, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89921-1
Format: Electronic Resources
Availability Online Library~1

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

2026-05-08T23:07:54Z

Author Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

2026-05-08T23:07:54Z

Author Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-201-2
Format: Electronic Resources
Availability Online Library~1

Labyrinth of Thought A History of Set Theory and Its Role in Modern Mathematics

2026-05-08T23:07:54Z

Author Ferreirós, José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8350-3
Format: Electronic Resources
Availability Online Library~1

The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s

2026-05-08T23:07:54Z

Author Seising, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71795-9
Format: Electronic Resources
Availability Online Library~1

An ontological and epistemological perspective of fuzzy set theory

2026-05-08T23:07:54Z

Author Turksen, I. Burhan, 1937-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444518910
Format: Electronic Resources
Availability Online Library~1

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

2026-05-08T23:07:54Z

Author Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7692-9
Format: Electronic Resources
Availability Online Library~1

Set theory and its philosophy a critical introduction

2026-05-08T23:07:54Z

Author Potter, Michael D.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199269730.001.0001
Format: Electronic Resources
Availability Online Library~1

Süpren (Eskişehir) mermer ocaklarındaki süreksizlikler için fotoanaliz ve bulanık küme teorisinin kullanımı = Use of photoanalysis and fuzy set theory for the discontinuities in the Süpren (Eskişehir) marble quarries

2026-05-08T23:07:54Z

Author Nefeslioğlu, Hakan Ahmet.
Preferred Shelf Number TEZ/6049 N298 2003
Format: Books
Availability Beytepe Library~1

Computational quantum chemistry an interactive guide to basis set theory

2026-05-08T23:07:54Z

Author Quinn, Charles M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780125696821
Format: Electronic Resources
Availability Online Library~1

Labyrinth of thought : A history of set theory and its role in modern mathematics

2026-05-08T23:07:54Z

Author Ferreiros Domnguez, Jose.
Preferred Shelf Number QA 248 F468 1999
Format: Books
Availability Beytepe Library~1

Orders--description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982

2026-05-08T23:07:54Z

Author Conference on Ordered Sets and Their Applications (4th : 1982 : L'Arbresle, France) Pouzet, M. Richard, Denis, 1942-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444876010
Format: Electronic Resources
Availability Online Library~1

Set theory with an introduction to descriptive set theory

2026-05-08T23:07:54Z

Author Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
Format: Electronic Resources
Availability Online Library~1

Topology and Borel structure descriptive topology and set theory with applications to functional analysis and measure theory

2026-05-08T23:07:54Z

Author Christensen, Jens Peter Reus.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444106087
Format: Electronic Resources
Availability Online Library~1

Foundations of analysis, with an introduction to logic and set theory

2026-05-08T23:07:54Z

Author Clarke, Douglas A., ort. yaz.
Preferred Shelf Number QA 300 F68 1971
Format: Books
Availability Beytepe Library~1

Introduction a la theorie des ensembles (Naive set theory) / par Paul R. Halmos ; tr. de J. Gardelle.

2026-05-08T23:07:54Z

Author Halmos, Paul Richard, 1914-
Preferred Shelf Number QA 248 H2614 1967
Format: Books
Availability Beytepe Library~1

Schaum's outline of theory and problems of set theory and related topics

2026-05-08T23:07:54Z

Author Lipschutz, Seymour.
Preferred Shelf Number QA 248 L6688 1964
Format: Books
Availability Beytepe Library~1

Outline of theory and problems of set theory and related topics

2026-05-08T23:07:54Z

Author Schaum, Daniel.
Preferred Shelf Number QA 248 S655 1964
Format: Books
Availability Beytepe Library~1

The gamification of society

2026-05-08T23:07:54Z

Author Le Lay, Stéphane, editor. Savignac, Emmanuelle, editor. Frances, Jean, editor. Lénel, Pierre, editor.
Preferred Shelf Number GV1201.38 .G36 2021 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821557
Format: Electronic Resources
Availability Online Library~1

Mathematical logic : A course with exercises

2026-05-08T23:07:54Z

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

The handbook of translanguaging

2026-05-08T23:07:54Z

Author Li, Wei, 1961 August 11- editor. Phyak, Prem, 1980- editor. Lee, Jerry Won, editor. García, Ofelia, editor.
Preferred Shelf Number P115.35 .H36 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394227167
Format: Electronic Resources
Availability Online Library~1

ENSEMBLE METHODS foundations and algorithms.

2026-05-08T23:07:54Z

Author Zhou, Zhi-Hua (Computer scientist), author.
Preferred Shelf Number QA278.4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003587774 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Hands-on real time communications : a practical guide to RTC protocols in Non-3GPP, 3GPP 4G/5G/6G and IoT Networks

2026-05-08T23:07:54Z

Author Herrero, Rolando, author.
Preferred Shelf Number TK5103.2 .H47 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394239658
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1093-8
Format: Electronic Resources
Availability Online Library~1

Bring Your Own Device Security Policy Compliance Framework

2026-05-08T23:07:54Z

Author Palanisamy, Rathika. author. (orcid)0000-0001-6495-1081 Norman, Azah Anir. author. Kiah, Miss Laiha Mat. author. Herawan, Tutut. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86801-6
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

2026-05-08T23:07:54Z

Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81241-5
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

2026-05-08T23:07:54Z

Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81244-6
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

2026-05-08T23:07:54Z

Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81247-7
Format: Electronic Resources
Availability Online Library~1

Cyber Intelligence and Information Retrieval Proceedings of CIIR 2023, Volume 1

2026-05-08T23:07:54Z

Author Dutta, Soumi. editor. (orcid)0000-0002-1052-7055 Bhattacharya, Abhishek. editor. Shahnaz, Celia. editor. Chakrabarti, Satyajit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7603-0
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 18th China Conference, CWSN 2024, Taiyuan, China, September 20-22, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Sun, Limin. editor. Chen, Yongle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2186-6
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 18th China Conference, CWSN 2024, Taiyuan, China, September 20-22, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Sun, Limin. editor. Chen, Yongle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2189-7
Format: Electronic Resources
Availability Online Library~1

Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life

2026-05-08T23:07:54Z

Author Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-46510-0
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91829-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90653-4
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91121-7
Format: Electronic Resources
Availability Online Library~1

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4503-9
Format: Electronic Resources
Availability Online Library~1

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4506-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part VII

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6966-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6948-6
Format: Electronic Resources
Availability Online Library~1

Intelligent System Design Based on Soft Computing Models

2026-05-08T23:07:54Z

Author Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 Melin, Patricia. editor. (orcid)0000-0001-5798-1426 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97309-3
Format: Electronic Resources
Availability Online Library~1

Alignment Optimization in Rail Transit

2026-05-08T23:07:54Z

Author Yang, Dongying. author. (orcid)0000-0003-0097-3630 Wang, Honghui. author. (orcid)0000-0001-9257-2820 Yi, Sirong. author. He, Qing. author. (orcid)0000-0003-2596-4984 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80561-5
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6957-8
Format: Electronic Resources
Availability Online Library~1

Reliability Evaluation and Its Influence on Traffic Application Based on Mobile Phone Signaling Data

2026-05-08T23:07:54Z

Author Yang, Fei. author. Wang, Yanchen. author. Guo, Yudong. author. Jiang, Haihang. author. Yao, Zhenxing. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7950-5
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

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

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

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

Maths For Computing A Beginner's Guide

2026-05-08T23:07:54Z

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

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

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

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

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

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IX

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0947-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0875-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part V

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0935-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VII

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0941-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0888-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0938-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part VIII

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0944-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0891-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part IV

2026-05-08T23:07:54Z

Author Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0894-2
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78450-7
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78453-8
Format: Electronic Resources
Availability Online Library~1

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0232-2
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 26th International Conference, ICICS 2024, Mytilene, Greece, August 26-28, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Xenakis, Christos. editor. (orcid)0000-0001-6718-122X Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8798-2
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 26th International Conference, ICICS 2024, Mytilene, Greece, August 26-28, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Xenakis, Christos. editor. (orcid)0000-0001-6718-122X Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8801-9
Format: Electronic Resources
Availability Online Library~1

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0225-4
Format: Electronic Resources
Availability Online Library~1

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0294-0
Format: Electronic Resources
Availability Online Library~1

Discovery Science 27th International Conference, DS 2024, Pisa, Italy, October 14-16, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Pedreschi, Dino. editor. (orcid)0000-0003-4801-3225 Monreale, Anna. editor. (orcid)0000-0001-8541-0284 Guidotti, Riccardo. editor. (orcid)0000-0002-2827-7613 Pellungrini, Roberto. editor. (orcid)0000-0003-3268-9271 Naretto, Francesca. editor. (orcid)0000-0003-1301-7787
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78977-9
Format: Electronic Resources
Availability Online Library~1

Discovery Science 27th International Conference, DS 2024, Pisa, Italy, October 14-16, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Pedreschi, Dino. editor. (orcid)0000-0003-4801-3225 Monreale, Anna. editor. (orcid)0000-0001-8541-0284 Guidotti, Riccardo. editor. (orcid)0000-0002-2827-7613 Pellungrini, Roberto. editor. (orcid)0000-0003-3268-9271 Naretto, Francesca. editor. (orcid)0000-0003-1301-7787
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78980-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91095-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91098-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91107-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91124-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91134-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part V

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91092-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VIII

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91101-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part III

2026-05-08T23:07:54Z

Author Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91131-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90643-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-05-08T23:07:54Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90660-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91118-7
Format: Electronic Resources
Availability Online Library~1

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4509-1
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91820-9
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91823-0
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part III

2026-05-08T23:07:54Z

Author Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91826-1
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part V

2026-05-08T23:07:54Z

Author Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91832-2
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6582-2
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6585-3
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part V

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6588-4
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6591-4
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part IX

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6972-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part XII

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7005-5
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part XIV

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7030-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part XV

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7033-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6954-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part X

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6975-2
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6579-2
Format: Electronic Resources
Availability Online Library~1

Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97228-7
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 30th Australasian Conference, ACISP 2025, Wollongong, NSW, Australia, July 14-16, 2025, Proceedings, Part III

2026-05-08T23:07:54Z

Author Susilo, Willy. editor. (orcid)0000-0002-1562-5105 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-9101-2
Format: Electronic Resources
Availability Online Library~1

Soft Computing and Its Engineering Applications 6th International Conference, icSoftComp 2024, Bangkok, Thailand, December 10-12, 2024, Revised Selected Papers, Part I

2026-05-08T23:07:54Z

Author Patel, Kanubhai K. editor. (orcid)0000-0001-9091-0419 Santosh, KC. editor. (orcid)0000-0003-4176-0236 Gomes de Oliveira, Gabriel. editor. (orcid)0000-0001-7164-2068 Patel, Atul. editor. (orcid)0000-0001-5697-2050 Ghosh, Ashish. editor. (orcid)0000-0003-1548-5576
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88039-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6963-9
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part XI

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6606-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part III

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01881-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01884-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01901-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VIII

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01913-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01855-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01878-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01887-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2025 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VII

2026-05-08T23:07:54Z

Author Tauman Kalai, Yael. editor. Kamara, Seny F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01907-3
Format: Electronic Resources
Availability Online Library~1

Computation Trees A Generalization of Decision Trees

2026-05-08T23:07:54Z

Author Moshkov, Mikhail. author. (orcid)0000-0003-0085-9483 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91748-6
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1195-9
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Pattern Recognition Proceedings of CIPR 2024, Volume 1

2026-05-08T23:07:54Z

Author Das, Asit Kumar. editor. (orcid)0000-0002-9886-1735 Nayak, Janmenjoy. editor. (orcid)0000-0002-9746-6557 Naik, Bighnaraj. editor. Himabindu, M. editor. Vimal, S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8090-7
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1090-7
Format: Electronic Resources
Availability Online Library~1

Theory of Computation Automata, Formal Languages, Computation and Complexity

2026-05-08T23:07:54Z

Author Chowdhary, K.R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6234-7
Format: Electronic Resources
Availability Online Library~1

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

2026-05-08T23:07:54Z

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

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90062-4
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90065-5
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92366-1
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92369-2
Format: Electronic Resources
Availability Online Library~1

Soft Computing and Its Engineering Applications 6th International Conference, icSoftComp 2024, Bangkok, Thailand, December 10-12, 2024, Revised Selected Papers, Part II

2026-05-08T23:07:54Z

Author Patel, Kanubhai K. editor. (orcid)0000-0001-9091-0419 Santosh, KC. editor. (orcid)0000-0003-4176-0236 Gomes de Oliveira, Gabriel. editor. (orcid)0000-0001-7164-2068 Patel, Atul. editor. (orcid)0000-0001-5697-2050 Ghosh, Ashish. editor. (orcid)0000-0003-1548-5576
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88042-1
Format: Electronic Resources
Availability Online Library~1

Applications of Fuzzy Logic in Decision Making and Management Science

2026-05-08T23:07:54Z

Author Jana, Subrata. editor. Basu Mallik, Biswadip. editor. Sarkar, Anirban. editor. (orcid)0000-0002-4691-5631 Jana, Chiranjibe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77719-6
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Pattern Recognition Proceedings of CIPR 2024, Volume 2

2026-05-08T23:07:54Z

Author Das, Asit Kumar. editor. Nayak, Janmenjoy. editor. (orcid)0000-0002-9746-6557 Naik, Bighnaraj. editor. Maringanti, Hima Bindu. editor. Vimal, S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8093-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-05-08T23:07:54Z

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

Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93835-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

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

Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-05-08T23:07:54Z

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

Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VII

2026-05-08T23:07:54Z

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

Universal Access in Human-Computer Interaction 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93848-1
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Antona, Margherita. editor. Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93851-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V

2026-05-08T23:07:54Z

Author Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93864-1
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1

2026-05-08T23:07:54Z

Author Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90606-0
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93965-5
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6576-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part VIII

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6596-9
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part V

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6960-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part VIII

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6969-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part IX

2026-05-08T23:07:54Z

Author Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348 Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662 Wong, Kevin. editor. (orcid)0000-0001-8767-1031 Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723 Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-6599-0
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 30th Australasian Conference, ACISP 2025, Wollongong, NSW, Australia, July 14-16, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Susilo, Willy. editor. (orcid)0000-0002-1562-5105 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-9095-4
Format: Electronic Resources
Availability Online Library~1

Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I

2026-05-08T23:07:54Z

Author Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97225-6
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 30th Australasian Conference, ACISP 2025, Wollongong, NSW, Australia, July 14-16, 2025, Proceedings, Part II

2026-05-08T23:07:54Z

Author Susilo, Willy. editor. (orcid)0000-0002-1562-5105 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-9098-5
Format: Electronic Resources
Availability Online Library~1

Ophthalmic microsurgery : principles, techniques, and applications

2026-05-08T23:07:54Z

Author Garg, Sumit, 1975- editor. Steinert, Roger F., editor.
Preferred Shelf Number RE67
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003525400 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Intrapreneurship management : concepts, methods, and software for managing technological innovation in organizations

2026-05-08T23:07:54Z

Author Hasenauer, Rainer, author. Yu, Oliver S., author.
Preferred Shelf Number HD45 .H34345 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119837756
Format: Electronic Resources
Availability Online Library~1

Inventory management for veterinary professionals

2026-05-08T23:07:54Z

Author Clausen, Nicole I., author
Preferred Shelf Number SF756.4 .C53 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119717959
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230 Manco, Giuseppe. editor. Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68309-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Logic Circuits & Logic Design with Verilog

2026-05-08T23:07:54Z

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

Weakly Nonlinear Systems With Applications in Communications Systems

2026-05-08T23:07:54Z

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

Introduction to Logic Circuits & Logic Design with VHDL

2026-05-08T23:07:54Z

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

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part I

2026-05-08T23:07:54Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8079-6
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

2026-05-08T23:07:54Z

Author Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47751-5
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

2026-05-08T23:07:54Z

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

Cryptocoding Based on Quasigroups

2026-05-08T23:07:54Z

Author Mechkaroska, Daniela. author. Popovska-Mitrovikj, Aleksandra. author. (orcid)0000-0002-1578-6275 Bakeva, Verica. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50125-8
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Engineering and Project Management

2026-05-08T23:07:54Z

Author Piñero Pérez, Pedro Yobanis. editor. Kacprzyk, Janusz. editor. Bello Pérez, Rafael. editor. Pupo, Iliana Pérez. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50495-2
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56852-7
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II

2026-05-08T23:07:54Z

Author Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50546-1
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2026-05-08T23:07:54Z

Author Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50543-0
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part III

2026-05-08T23:07:54Z

Author Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50549-2
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Yun, Lin. editor. (orcid)0000-0003-1379-9301 Han, Jiang. editor. Han, Yu. editor. (orcid)0000-0002-8155-1706 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50552-2
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56855-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57246-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

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

Human-Computer Interaction Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

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

Mathematics in Programming

2026-05-08T23:07:54Z

Author Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2432-1
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230 Manco, Giuseppe. editor. Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68312-1
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69577-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69583-4
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69766-1
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57718-5
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

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

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57725-3
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57728-4
Format: Electronic Resources
Availability Online Library~1

Elliptically Symmetric Distributions in Signal Processing and Machine Learning

2026-05-08T23:07:54Z

Author Delmas, Jean-Pierre. editor. El Korso, Mohammed Nabil. editor. Fortunati, Stefano. editor. (orcid)0000-0003-0273-4510 Pascal, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52116-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8435-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8469-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58734-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58723-8
Format: Electronic Resources
Availability Online Library~1

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

2026-05-08T23:07:54Z

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

Human-Computer Interaction Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

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

Human-Computer Interaction Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60428-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

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

Human-Computer Interaction Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

2026-05-08T23:07:54Z

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

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63498-7
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63501-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4982-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4985-0
Format: Electronic Resources
Availability Online Library~1

Deep Learning Theory and Applications 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Fred, Ana. editor. (orcid)0000-0003-1320-5024 Hadjali, Allel. editor. (orcid)0000-0002-4452-1647 Gusikhin, Oleg. editor. Sansone, Carlo. editor. (orcid)0000-0002-8176-6950 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66694-0
Format: Electronic Resources
Availability Online Library~1

Deep Learning Theory and Applications 5th International Conference, DeLTA 2024, Dijon, France, July 10-11, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Fred, Ana. editor. (orcid)0000-0003-1320-5024 Hadjali, Allel. editor. (orcid)0000-0002-4452-1647 Gusikhin, Oleg. editor. Sansone, Carlo. editor. (orcid)0000-0002-8176-6950 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66705-3
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72332-2
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72335-3
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72341-4
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72344-5
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72347-6
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72350-6
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72353-7
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72356-8
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72359-9
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72338-4
Format: Electronic Resources
Availability Online Library~1

Design and Modeling of Mechanical Systems - VI Proceedings of the 10th Conference on Design and Modeling of Mechanical Systems, CMSM'2023, December 18-20, 2023, Hammamet, Tunisia - Volume 2: Materials Engineering and Manufacturing

2026-05-08T23:07:54Z

Author Chouchane, Mnaouar. editor. Abdennadher, Moez. editor. (orcid)0000-0001-8041-2467 Aifaoui, Nizar. editor. (orcid)0000-0001-8074-5798 Chaari, Fakher. editor. Bouaziz, Slim. editor. (orcid)0009-0002-4953-898X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65007-9
Format: Electronic Resources
Availability Online Library~1

A companion to Scottish literature

2026-05-08T23:07:54Z

Author Carruthers, Gerard, editor.
Preferred Shelf Number PR8511 .W45 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119651550
Format: Electronic Resources
Availability Online Library~1

Peptide self-assembly and engineering : fundamentals, structures, and applications

2026-05-08T23:07:54Z

Author Yan, Xuehai, editor.
Preferred Shelf Number QP552 .P4
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527841264
Format: Electronic Resources
Availability Online Library~1

Biomass and solar-powered sustainable digital cities

2026-05-08T23:07:54Z

Preferred Shelf Number TD159.4 .B56 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249374
Format: Electronic Resources
Availability Online Library~1

Modeling and optimization of signals using machine learning techniques

2026-05-08T23:07:54Z

Preferred Shelf Number TK5102.9 .M63 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847717
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-05-08T23:07:54Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57249-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-05-08T23:07:54Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57256-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

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

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58716-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58737-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part V

2026-05-08T23:07:54Z

Author Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58740-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58751-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VII

2026-05-08T23:07:54Z

Author Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58754-2
Format: Electronic Resources
Availability Online Library~1

New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms

2026-05-08T23:07:54Z

Author Melin, Patricia. editor. (orcid)0000-0001-5798-1426 Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53713-4
Format: Electronic Resources
Availability Online Library~1

Organizational Behavior and Management in Health and Medicine

2026-05-08T23:07:54Z

Author Elrod, James K. author. Fortenberry, Jr., John L. author. (orcid)0000-0001-6978-8965 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61823-9
Format: Electronic Resources
Availability Online Library~1

Design and Modeling of Mechanical Systems - VI Proceedings of the 10th Conference on Design and Modeling of Mechanical Systems, CMSM'2023, December 18-20, 2023, Hammamet, Tunisia - Volume 1: Mechanical Systems Analysis and Industrial Engineering

2026-05-08T23:07:54Z

Author Chouchane, Mnaouar. editor. Abdennadher, Moez. editor. (orcid)0000-0001-8041-2467 Aifaoui, Nizar. editor. (orcid)0000-0001-8074-5798 Chaari, Fakher. editor. Bouaziz, Slim. editor. (orcid)0009-0002-4953-898X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67152-4
Format: Electronic Resources
Availability Online Library~1

Decision Trees Versus Systems of Decision Rules A Rough Set Approach

2026-05-08T23:07:54Z

Author Durdymyradov, Kerven. author. (orcid)0009-0009-7445-3807 Moshkov, Mikhail. author. (orcid)0000-0003-0085-9483 Ostonov, Azimkhon. author. (orcid)0000-0001-5763-9751 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71586-0
Format: Electronic Resources
Availability Online Library~1

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-05-08T23:07:54Z

Author Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0188-2
Format: Electronic Resources
Availability Online Library~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-05-08T23:07:54Z

Author Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0313-8
Format: Electronic Resources
Availability Online Library~1

MATHEMATICAL THEORY OF FUZZY SETS

2026-05-08T23:07:54Z

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

Medical decision making

2026-05-08T23:07:54Z

Author Sox, Harold C., author. Higgins, Michael C. (Michael Clark), 1950- author. Owens, Douglas K., author. Sanders Schmidler, Gillian, author.
Preferred Shelf Number R723.5 .M38 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119627876
Format: Electronic Resources
Availability Online Library~1

Balanis' advanced engineering electromagnetics

2026-05-08T23:07:54Z

Author Balanis, Constantine A., 1938- author.
Preferred Shelf Number QC760 .B25 2024 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394180042
Format: Electronic Resources
Availability Online Library~1

Combinatorial and algorithmic mathematics : from foundation to optimization

2026-05-08T23:07:54Z

Author Alzalg, Baha, author.
Preferred Shelf Number QA164 .A4693 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394235971
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8076-5
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8070-3
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part V

2026-05-08T23:07:54Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8073-4
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part II

2026-05-08T23:07:54Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8082-6
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part III

2026-05-08T23:07:54Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8067-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8429-9
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8432-9
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8540-1
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8549-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8462-6
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8537-1
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8546-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8558-6
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8552-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8555-5
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII

2026-05-08T23:07:54Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8543-2
Format: Electronic Resources
Availability Online Library~1

Building a Low-Carbon Future Adaptive Control Strategies for Distributed Energy Networks

2026-05-08T23:07:54Z

Author Sun, Jiayue. author. Zhai, Meina. author. Liu, Shu. author. Shi, Peng. author. (orcid)0000-0001-8218-586X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43498-3
Format: Electronic Resources
Availability Online Library~1

A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications

2026-05-08T23:07:54Z

Author de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon A. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50492-1
Format: Electronic Resources
Availability Online Library~1

Fuzzy Investment Decision Making with Examples

2026-05-08T23:07:54Z

Author Kahraman, Cengiz. author. (orcid)0000-0001-6168-8185 Haktanır, Elif. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54660-0
Format: Electronic Resources
Availability Online Library~1

Probabilistic Indexing for Information Search and Retrieval in Large Collections of Handwritten Text Images

2026-05-08T23:07:54Z

Author Toselli, Alejandro Héctor. author. (orcid)0000-0001-6955-9249 Puigcerver, Joan. author. Vidal, Enrique. author. (orcid)0000-0003-4579-5196 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55389-9
Format: Electronic Resources
Availability Online Library~1

Algorithms for Constructing Computably Enumerable Sets

2026-05-08T23:07:54Z

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

Concise Guide to Software Verification From Model Checking to Annotation Checking

2026-05-08T23:07:54Z

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