Limit Search Results
Author
SpringerLink (Online service)
(63)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Paszynski, Maciej. editor.
(7)
Language
Publication Date
-
Subject
Computational intelligence.
(23)
Software engineering.
(23)
Computer networks .
(22)
Computer science.
(19)
Theory of Computation.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
65 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Quantum Inspired Intelligent Systems
Quantum Inspired Intelligent Systems
Author 
Nedjah, Nadia. editor. Coelho, Leandro dos Santos. editor. Mourelle, Luiza de Macedo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78532-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Quantum Theory and Fuzzy Systems: Traversing Uncertainty in Group Decision-Making and Social Networks Quantum and Fuzzy Approaches to Social Network Analysis and Group Decisions
Quantum Theory and Fuzzy Systems: Traversing Uncertainty in Group Decision-Making and Social Networks Quantum and Fuzzy Approaches to Social Network Analysis and Group Decisions
Author 
Allahviranloo, Tofigh. editor. (orcid)0000-0002-6673-3560 Samanta, Sovan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82058-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Author 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8943-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Author 
Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81202-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Enhancing Video Streaming with AI, Cloud, and Edge Technologies Optimization Techniques and Frameworks
Enhancing Video Streaming with AI, Cloud, and Edge Technologies Optimization Techniques and Frameworks
Author 
Darwich, Mahmoud. author. Bayoumi, Magdy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84651-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Sustainable Computing and Intelligent Systems Proceedings of SCIS 2024, Volume 2
Sustainable Computing and Intelligent Systems Proceedings of SCIS 2024, Volume 2
Author 
Bansal, Jagdish Chand. editor. Jamwal, Prashant K. editor. Hussain, Shahid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3314-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Quantum Computing, Cyber Security and Cryptography Issues, Technologies, Algorithms, Programming and Strategies
Quantum Computing, Cyber Security and Cryptography Issues, Technologies, Algorithms, Programming and Strategies
Author 
Goyal, S. B. editor. Kumar, Vidyapati. editor. Islam, Sardar M. N. editor. (orcid)0000-0001-9451-7390 Ghai, Deepika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4948-8
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 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:
9. 
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:
10. 
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:
11. 
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:
12. 
Cover image for Proceedings of International Conference on Advanced Computing and Systems AdComSys 2024
Proceedings of International Conference on Advanced Computing and Systems AdComSys 2024
Author 
Chakraborty, Maumita. editor. Ding, Weiping. editor. Chakraborty, Shouvik. editor. (orcid)0000-0002-3427-7492 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9532-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets