Limit Search Results
Author
SpringerLink (Online service)
(245)
Apduhan, Bernady O. editor.
(9)
Gervasi, Osvaldo. editor.
(9)
Hameurlain, Abdelkader. editor.
(9)
Küng, Josef. editor.
(9)
Language
English
(249)
Publication Date
-
Subject
Application software.
(189)
Computer and Information Systems Applications.
(188)
Artificial intelligence.
(140)
Computer networks .
(98)
Computer Communication Networks.
(81)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
249 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applied Antifragility in Natural Systems From Principles to Applications
Applied Antifragility in Natural Systems From Principles to Applications
Author 
Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90391-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part I
Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84353-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part II
Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84356-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98679-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98668-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98682-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98685-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings
Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings
Author 
Rescigno, Adele Anna. editor. (orcid)0000-0001-9124-610X Vaccaro, Ugo. editor. (orcid)0000-0003-4085-7300 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63021-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 2
Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 2
Author 
Pant, Millie. editor. (orcid)0000-0002-7668-7887 Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3292-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Twenty Years of Theoretical and Practical Synergies 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings
Twenty Years of Theoretical and Practical Synergies 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings
Author 
Levy Patey, Ludovic. editor. (orcid)0000-0002-0304-7926 Pimentel, Elaine. editor. (orcid)0000-0002-7113-0801 Galeotti, Lorenzo. editor. Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I
Author 
Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1711-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action