Limit Search Results
Author
SpringerLink (Online service)
(1735)
Mahmud, Mufti. editor. (orcid)0000-0002-2037-8348
(24)
Doborjeh, Maryam. editor. (orcid)0000-0003-4953-0662
(21)
Doborjeh, Zohreh. editor. (orcid)0000-0003-1431-8258
(21)
Leung, Andrew Chi Sing. editor. (orcid)0000-0003-0962-6723
(21)
Language
English
(1735)
Publication Date
-
2016
(482)
2024
(433)
2017
(428)
2025
(381)
2014
(11)
Subject
Artificial intelligence.
(743)
Algorithms.
(571)
Computer networks .
(385)
Computational intelligence.
(371)
Application software.
(309)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
1735 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Author 
Heidari Iman, Mohammad Reza. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mastering ICU Care Algorithms and Clinical Decision-Making for Residents
Mastering ICU Care Algorithms and Clinical Decision-Making for Residents
Author 
Mishra, Shakti Bedanta. author. Samal, Samir. author. Panda, Sagarika. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0179-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part IV
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1545-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1528-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1542-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Optimization Algorithms in Machine Learning A Meta-heuristics Perspective
Optimization Algorithms in Machine Learning A Meta-heuristics Perspective
Author 
Das, Debashish. author. (orcid)0000-0002-4237-5711 Sadiq, Ali Safaa. author. Mirjalili, Seyedali. author. (orcid)0000-0002-1443-9458 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3849-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Approximation and Online Algorithms 22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, Proceedings
Approximation and Online Algorithms 22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, Proceedings
Author 
Bieńkowski, Marcin. editor. (orcid)0000-0002-2453-7772 Englert, Matthias. editor. (orcid)0000-0002-8859-7731 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81396-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
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:
58. 
Cover image for Principle of Architecture, Protocol, and Algorithms for CoG-MIN A Sustainably Ecological & Evolutionary Solution for Packet Network System
Principle of Architecture, Protocol, and Algorithms for CoG-MIN A Sustainably Ecological & Evolutionary Solution for Packet Network System
Author 
Li, Hui. author. (orcid)0000-0001-5244-9473 Bai, He. author. (orcid)0000-0003-2339-8974 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3596-2
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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:
60. 
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:
Select an Action