Limit Search Results
Author
SpringerLink (Online service)
(12308)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(41)
Gervasi, Osvaldo. editor.
(39)
Nguyen, Ngoc Thanh. editor.
(38)
Language
Publication Date
-
2013
(1522)
2011
(1414)
2012
(1330)
2010
(1264)
2009
(1196)
Subject
Artificial intelligence.
(3609)
Software engineering.
(3279)
Computer Communication Networks.
(2860)
Information systems.
(2469)
Computer software.
(2011)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
12380 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Author 
Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80283-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Tools for Telemedicine
Mathematical Tools for Telemedicine
Author 
Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I
Author 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4445-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Author 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4448-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Author 
Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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 II
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 II
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-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
Author 
Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87330-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
Author 
Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-08677-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 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
Fundamental Approaches to Software Engineering 28th International Conference, FASE 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
Author 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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 III
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 III
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-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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
Author 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action