Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
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 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
Author 
Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521217.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45286-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cyber Technologies and Emerging Sciences ICCTES 2021
Cyber Technologies and Emerging Sciences ICCTES 2021
Author 
Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2538-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Uncertainty, Constraints, and Decision Making
Uncertainty, Constraints, and Decision Making
Author 
Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36394-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Author 
Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521177.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43619-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Progress in Cryptology - LATINCRYPT 2023 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings
Progress in Cryptology - LATINCRYPT 2023 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings
Author 
Aly, Abdelrahaman. editor. Tibouchi, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521179.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44469-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Author 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521236.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Information Security and Cryptology 18th International Conference, Inscrypt 2022, Beijing, China, December 11-13, 2022, Revised Selected Papers
Author 
Deng, Yi. editor. Yung, Moti. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520822.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26553-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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 
XX(521072.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40960-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
Author 
Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521195.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43587-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2023 24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2023 24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings
Author 
Quaresma, Paulo. editor. Camacho, David. editor. (orcid) Yin, Hujun. editor. (orcid) Gonçalves, Teresa. editor. Julian, Vicente. editor.
Preferred Shelf Number 
XX(521330.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-48232-8
Format: 
Availability 
Online Library~1
Available:
Copies: