Limit Search Results
Author
SpringerLink (Online service)
(70)
Jansen, Klaus. editor.
(12)
Rolim, José D. P. editor.
(6)
Bampis, Evripidis. editor.
(4)
Erlebach, Thomas. editor.
(4)
Language
Publication Date
-
Subject
Computational complexity.
(23)
Computer software.
(23)
Computer science.
(22)
Electronic data processing.
(19)
Algorithms.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
77 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
Author 
Mavronicolas, Marios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30448-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Structural Information and Communication Complexity 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings
Structural Information and Communication Complexity 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings
Author 
Rajsbaum, Sergio. editor. Balliu, Alkida. editor. Daymude, Joshua J. editor. Olivetti, Dennis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32733-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings
Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings
Author 
Li, Minming. editor. Sun, Xiaoming. editor. Wu, Xiaowei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39344-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algorithms and Discrete Applied Mathematics 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, Proceedings
Algorithms and Discrete Applied Mathematics 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, Proceedings
Author 
Bagchi, Amitabha. editor. Muthu, Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for WALCOM: Algorithms and Computation 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings
WALCOM: Algorithms and Computation 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings
Author 
Lin, Chun-Cheng. editor. Lin, Bertrand M. T. editor. Liotta, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27051-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Combinatorial Algorithms 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings
Combinatorial Algorithms 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings
Author 
Hsieh, Sun-Yuan. editor. Hung, Ling-Ju. editor. Lee, Chia-Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34347-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Networked Systems 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
Networked Systems 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
Author 
Mohaisen, David. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37765-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Author 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Neural Computation, Machine Learning, and Cognitive Research VI Selected Papers from the XXIV International Conference on Neuroinformatics, October 17-21, 2022, Moscow, Russia
Advances in Neural Computation, Machine Learning, and Cognitive Research VI Selected Papers from the XXIV International Conference on Neuroinformatics, October 17-21, 2022, Moscow, Russia
Author 
Kryzhanovsky, Boris. editor. (orcid)0000-0002-0901-6370 Dunin-Barkowski, Witali. editor. (orcid)0000-0003-2716-7786 Redko, Vladimir. editor. (orcid)0000-0002-3748-2379 Tiumentsev, Yury. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
Author 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Author 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43257-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action