Limit Search Results
Author
SpringerLink (Online service)
(132)
Hameurlain, Abdelkader. editor.
(9)
Küng, Josef. editor.
(9)
Wagner, Roland. editor.
(9)
Asirvatham, David. editor.
(2)
Language
English
(152)
Publication Date
-
Subject
Artificial intelligence.
(58)
Computer science.
(41)
Application software.
(29)
Computer and Information Systems Applications.
(29)
Computer Science Logic and Foundations of Programming.
(25)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
152 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65633-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 1
Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 1
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-3180-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Author 
Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61794-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Intelligent Methods in Electrical Power Systems
Intelligent Methods in Electrical Power Systems
Author 
Khadse, Chetan B. editor. Kale, Ishaan R. editor. (orcid)0000-0003-2983-5004 Shastri, Apoorva S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-5718-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
Author 
Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0566-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Applied Multi-objective Optimization
Applied Multi-objective Optimization
Author 
Dey, Nilanjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Machine learning for risk calculations : a practitioner's view
Machine learning for risk calculations : a practitioner's view
Author 
Ruiz, Ignacio, 1972- author. Laris, Mariano Zeron Medina, author.
Preferred Shelf Number 
Q325.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119791416
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Cultural algorithms : tools to model complex dynamic social systems
Cultural algorithms : tools to model complex dynamic social systems
Author 
Reynolds, Robert G., author.
Preferred Shelf Number 
H61.25 .R49 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Algorithms in bioinformatics : theory and implementation
Algorithms in bioinformatics : theory and implementation
Author 
Gagniuc, Paul A., author.
Preferred Shelf Number 
QH324.2 .G34 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698005
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Machine learning and big data : concepts, algorithms, tools and applications
Machine learning and big data : concepts, algorithms, tools and applications
Author 
Dulhare, Uma N., editor. Ahmad, Khaleel, editor. Khairol Amali Bin Ahmad, editor.
Preferred Shelf Number 
Q325.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119654834
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Design and optimization for 5G wireless communications
Design and optimization for 5G wireless communications
Author 
Kim, Haesik, author.
Preferred Shelf Number 
TK5103.25 .K56 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action