Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
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:
14. 
Cover image for Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Author 
Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22944-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Graphs in VLSI
Graphs in VLSI
Author 
Bairamkulov, Rassul. author. Friedman, Eby G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-11047-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Ultra-Weak Photon Emission from Biological Systems Endogenous Biophotonics and Intrinsic Bioluminescence
Ultra-Weak Photon Emission from Biological Systems Endogenous Biophotonics and Intrinsic Bioluminescence
Author 
Volodyaev, Ilya. editor. van Wijk, Eduard. editor. Cifra, Michal. editor. Vladimirov, Yury A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39078-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Advances in Intelligent Systems, Computer Science and Digital Economics IV
Advances in Intelligent Systems, Computer Science and Digital Economics IV
Author 
Hu, Zhengbing. editor. Wang, Yong. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24475-9
Format: 
Availability 
Online Library~1
Available:
Copies: