Limit Search Results
Author
SpringerLink (Online service)
(651)
Bifet, Albert. editor. (orcid)0000-0002-8339-7773
(10)
Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X
(10)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Language
Publication Date
-
Subject
Artificial intelligence.
(284)
Computing Milieux.
(192)
Application software.
(181)
Computer networks .
(166)
Software engineering.
(153)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
684 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part I
Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part I
Author 
Gan, Jianhou. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Zhou, Juxiang. editor. Liu, Dong. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9499-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computer Science and Education. Computer Science and Technology 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part I
Computer Science and Education. Computer Science and Technology 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part I
Author 
Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0730-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Computer Science and Education. Teaching and Curriculum 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part II
Computer Science and Education. Teaching and Curriculum 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part II
Author 
Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0791-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Author 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
Author 
Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12018-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings
Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings
Author 
Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Li, Lian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2209-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
Author 
Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05428-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets