Limit Search Results
Author
SpringerLink (Online service)
(17)
Galatos, Nikolaos.
(2)
Gennaro, Rosario. editor.
(2)
Robshaw, Matthew. editor.
(2)
Albuquerque, Eudenilson L.
(1)
Language
Publication Date
-
Subject
Lattice theory.
(14)
Algebraic logic.
(3)
KAFES KURAMI
(3)
Artificial intelligence.
(2)
Control and Systems Theory.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
52 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Author 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Codes, Cryptology and Information Security 4th International Conference, C2SI 2023, Rabat, Morocco, May 29-31, 2023, Proceedings
Codes, Cryptology and Information Security 4th International Conference, C2SI 2023, Rabat, Morocco, May 29-31, 2023, Proceedings
Author 
El Hajji, Said. editor. Mesnager, Sihem. editor. Souidi, El Mamoun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Author 
Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40960-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings
Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings
Author 
El Mrabet, Nadia. editor. De Feo, Luca. editor. Duquesne, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37679-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Author 
Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35949-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Advances in Active Bearings in Rotating Machinery Proceedings of The 1st Workshop on Active Bearings in Rotating Machinery (ABROM 2022), June 29-30, 2022, Athens, Greece
Advances in Active Bearings in Rotating Machinery Proceedings of The 1st Workshop on Active Bearings in Rotating Machinery (ABROM 2022), June 29-30, 2022, Athens, Greece
Author 
Chasalevris, Athanasios. editor. Proppe, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32394-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Testing and modeling of cellular materials
Testing and modeling of cellular materials
Author 
Spear, Derek G., author. Palazotto, Anthony N., author.
Preferred Shelf Number 
TA418.9 .N48
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003299639
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Introduction to lattice algebra : with applications in AI, pattern recognition, image analysis, and biomimetic neural networks
Introduction to lattice algebra : with applications in AI, pattern recognition, image analysis, and biomimetic neural networks
Author 
Ritter, G. X., author. Urcid, Gonzalo, author.
Preferred Shelf Number 
QA76.9 .L38 R58 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003154242
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for HEAVY FLAVOUR PHYSICS THEORY AND EXPERIMENTAL RESULTS IN HEAVY QUARK PHYSICS
HEAVY FLAVOUR PHYSICS THEORY AND EXPERIMENTAL RESULTS IN HEAVY QUARK PHYSICS
Author 
Scottish Universities Summer School in Physics (55th : 2001 : St. Andrews) Davies, C. T. H., editor. Playfer, S. M. (Steve M.), editor.
Preferred Shelf Number 
QC793.3 .Q37
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187056
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Author 
Gennaro, Rosario. editor. Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48000-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action