Limit Search Results
Author
SpringerLink (Online service)
(423)
Li, Keqiu. editor.
(6)
Tari, Zahir. editor.
(6)
Wu, Hongyi. editor.
(6)
Li, Xiaodong. editor.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(193)
Computer science -- Mathematics.
(136)
Application software.
(134)
Computer and Information Systems Applications.
(134)
Computer networks .
(131)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
505 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
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-65630-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
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-65627-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Author 
Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66997-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
Author 
Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71033-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Business Process Management 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings
Business Process Management 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings
Author 
Marrella, Andrea. editor. (orcid)0000-0002-1031-0374 Resinas, Manuel. editor. (orcid)0000-0003-1575-406X Jans, Mieke. editor. (orcid)0000-0002-9171-2403 Rosemann, Michael. editor. (orcid)0000-0003-3303-2896 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Author 
Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72621-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Combinatorial and algorithmic mathematics : from foundation to optimization
Combinatorial and algorithmic mathematics : from foundation to optimization
Author 
Alzalg, Baha, author.
Preferred Shelf Number 
QA164 .A4693 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394235971
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Bio-inspired optimization for medical data mining
Bio-inspired optimization for medical data mining
Author 
Srivastava, Sumit, editor.
Preferred Shelf Number 
R859.7 .D35 B56 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214211
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Data Structures and Algorithms with Python With an Introduction to Multiprocessing
Data Structures and Algorithms with Python With an Introduction to Multiprocessing
Author 
Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42209-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Digital Signal Processing Illustration Using Python
Digital Signal Processing Illustration Using Python
Author 
Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6752-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action