Limit Search Results
Author
SpringerLink (Online service)
(21)
Baldisserotto, Bernardo.
(1)
Beklemishev, Lev D. editor.
(1)
Borgianni, Yuri. editor.
(1)
Bungey, J. H.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
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 Graph-Theoretic Concepts in Computer Science 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers
Author 
Paulusma, Daniël. editor. Ries, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43380-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings
Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings
Author 
Deng, Jing. editor. Kolesnikov, Vladimir. editor. Schwarzmann, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7563-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Towards a Smart, Resilient and Sustainable Industry Proceedings of the 2nd International Symposium on Industrial Engineering and Automation ISIEA 2023
Towards a Smart, Resilient and Sustainable Industry Proceedings of the 2nd International Symposium on Industrial Engineering and Automation ISIEA 2023
Author 
Borgianni, Yuri. editor. Matt, Dominik T. editor. Molinaro, Margherita. editor. Orzes, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38274-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Author 
Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20297-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Author 
Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Author 
Jan, Kratochvíl. editor. Miller, Mirka. editor. Froncek, Dalibor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19315-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The ISRM Suggested Methods for Rock Characterization, Testing and Monitoring: 2007-2014
The ISRM Suggested Methods for Rock Characterization, Testing and Monitoring: 2007-2014
Author 
Ulusay, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07713-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings
Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings
Author 
Cicalese, Ferdinando. editor. Porat, Ely. editor. Vaccaro, Ugo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19929-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Author 
Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46803-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Concepts and methods in modern theoretical chemistry electronic structure and reactivity
Concepts and methods in modern theoretical chemistry electronic structure and reactivity
Author 
Ghosh, Swapan Kumar. Chattaraj, Pratim Kumar.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: