Limit Search Results
Author
SpringerLink (Online service)
(106)
Ehrig, Hartmut. editor.
(4)
Rozenberg, Grzegorz. editor.
(4)
Chen, Chu-Song. editor.
(3)
Lu, Jiwen. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(57)
Information theory.
(55)
Data Structures and Information Theory.
(50)
Logic design.
(45)
Computer software.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
107 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings
Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings
Author 
Chen, Yifan. editor. (orcid)0000-0002-2776-9456 Yang, Kun. editor. Sun, Yue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81599-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for New Trends in Database and Information Systems ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials, Bayonne, France, August 28-31, 2024, Proceedings
New Trends in Database and Information Systems ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials, Bayonne, France, August 28-31, 2024, Proceedings
Author 
Tekli, Joe. editor. (orcid)0000-0003-3441-7974 Gamper, Johann. editor. (orcid)0000-0002-2162-4918 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Sassi, Salma. editor. (orcid)0000-0002-9893-1158
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70421-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Applied Algorithms Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings
Applied Algorithms Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings
Author 
Nandy, Subhas C. editor. De, Rajat K. editor. (orcid)0000-0001-6080-1131 Gupta, Prosenjit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Author 
Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Author 
Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74498-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Arithmetic of Finite Fields 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024, Revised Selected Papers
Arithmetic of Finite Fields 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024, Revised Selected Papers
Author 
Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 Panario, Daniel. editor. (orcid)0000-0003-3551-4063 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81824-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Author 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4448-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Author 
Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98740-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Internet of Production Fundamentals, Methods and Applications
Internet of Production Fundamentals, Methods and Applications
Author 
Brecher, Christian. editor. Schuh, Günther. editor. van der Aalst, Wil. editor. (orcid)0000-0002-0955-6940 Jarke, Matthias. editor. Piller, Frank T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44497-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Author 
Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action