Limit Search Results
Author
SpringerLink (Online service)
(1750)
Wiley InterScience (Online service)
(35)
Shenoi, Sujeet. editor.
(13)
Stephanidis, Constantine. editor.
(13)
Yung, Moti. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(825)
Operating systems (Computers).
(598)
Software engineering.
(522)
Computers.
(496)
Artificial intelligence.
(388)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2325 Results Found Subscribe to search results
000000000000DEFAULT
Print
277. 
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:
278. 
Cover image for Broadband Communications, Networks, and Systems 10th EAI International Conference, Broadnets 2019, Xi’an, China, October 27-28, 2019, Proceedings
Broadband Communications, Networks, and Systems 10th EAI International Conference, Broadnets 2019, Xi’an, China, October 27-28, 2019, Proceedings
Author 
Li, Qingshan. editor. Song, Shengli. editor. Li, Rui. editor. Xu, Yueshen. editor. Xi, Wei. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36442-7
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Artificial Intelligence in Education 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I
Artificial Intelligence in Education 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I
Author 
Isotani, Seiji. editor. (orcid)0000-0003-1574-0784 Millán, Eva. editor. (orcid)0000-0001-9178-7600 Ogan, Amy. editor. Hastings, Peter. editor. (orcid)0000-0002-0183-001X McLaren, Bruce. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23204-7
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Author 
Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35333-9
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Author 
Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28346-9
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
Author 
Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23597-0
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Answer Set Programming
Answer Set Programming
Author 
Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24658-7
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II
Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II
Author 
Moura Oliveira, Paulo. editor. (orcid)0000-0003-4283-1243 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30244-3
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Explainable, Transparent Autonomous Agents and Multi-Agent Systems First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers
Explainable, Transparent Autonomous Agents and Multi-Agent Systems First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers
Author 
Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Schumacher, Michael. editor. (orcid)0000-0002-5123-5075 Främling, Kary. editor. (orcid)0000-0002-8078-5172 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30391-4
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I
Author 
Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0108-1
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action