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
13. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
Author 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82670-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers
Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers
Author 
Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1490-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1195-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Author 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Author 
He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2292-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Author 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84595-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for An Introduction to Theory of Computation An Algorithmic Approach
An Introduction to Theory of Computation An Algorithmic Approach
Author 
Ogihara, Mitsunori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84740-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Author 
Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4207-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action