Limit Search Results
Author
SpringerLink (Online service)
(2176)
Kim, Tai-hoon. editor.
(34)
Yung, Moti. editor.
(25)
Gervasi, Osvaldo. editor.
(22)
Apduhan, Bernady O. editor.
(20)
Language
Publication Date
-
2011
(346)
2010
(316)
2012
(308)
2013
(222)
2005
(176)
Subject
Computer science.
(2011)
Computer Communication Networks.
(873)
Artificial intelligence.
(857)
Software engineering.
(554)
Computational complexity.
(545)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2189 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Author 
Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2381-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Author 
Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428 Fermé, Eduardo. editor. (orcid)0000-0002-9618-2421 Gutiérrez Segura, Flabio. editor. Rodríguez Melquiades, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03928-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings
Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings
Author 
Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04191-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94779-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Algorithms for Functional Programming
Algorithms for Functional Programming
Author 
Stone, John David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57970-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I
Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I
Author 
Qiao, Jianyong. editor. Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646 Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182 Zhang, Xingyi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2826-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Auction Based Resource Provisioning in Cloud Computing
Auction Based Resource Provisioning in Cloud Computing
Author 
Baranwal, Gaurav. author. Kumar, Dinesh. author. Raza, Zahid. author. Vidyarthi, Deo Prakash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8737-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Concurrency Control in Distributed System Using Mutual Exclusion
Concurrency Control in Distributed System Using Mutual Exclusion
Author 
Kanrar, Sukhendu. author. Chaki, Nabendu. author. Chattopadhyay, Samiran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017
Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017
Author 
Dash, Subhransu Sekhar. editor. Naidu, Paruchuri Chandra Babu. editor. Bayindir, Ramazan. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7868-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action