Limit Search Results
Author
SpringerLink (Online service)
(903)
Cheng, Long. editor. (orcid)0000-0001-7565-8788
(7)
Leung, Andrew Chi Sing. editor.
(7)
Ozawa, Seiichi. editor.
(7)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Language
Subject
Computer science.
(643)
Artificial intelligence.
(433)
Software engineering.
(290)
Computer Communication Networks.
(173)
Computer vision.
(138)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
917 Results Found Subscribe to search results
000000000000DEFAULT
Print
109. 
Cover image for Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings
Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings
Author 
Ganapathi, Geetha. editor. Subramaniam, Arumugam. editor. Graña, Manuel. editor. Balusamy, Suresh. editor. Natarajan, Rajamanickam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I
Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I
Author 
Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1648-7
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Advances in Computing and Data Sciences Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised Selected Papers, Part I
Advances in Computing and Data Sciences Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised Selected Papers, Part I
Author 
Singh, Mayank. editor. Gupta, P. K. editor. Tyagi, Vipin. editor. Flusser, Jan. editor. Ören, Tuncer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1810-8
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Medical Image Understanding and Analysis 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings
Medical Image Understanding and Analysis 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings
Author 
Nixon, Mark. editor. Mahmoodi, Sasan. editor. Zwiggelaar, Reyer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95921-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
Author 
Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Semantic Web Challenges 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3–7, 2018, Revised Selected Papers
Semantic Web Challenges 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3–7, 2018, Revised Selected Papers
Author 
Buscaldi, Davide. editor. (orcid)0000-0003-1112-3789 Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684 Reforgiato Recupero, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00072-1
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Knowledge Management in Organizations 13th International Conference, KMO 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings
Knowledge Management in Organizations 13th International Conference, KMO 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings
Author 
Uden, Lorna. editor. Hadzima, Branislav. editor. Ting, I-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95204-8
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03427-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II
Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II
Author 
Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1651-7
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers
Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers
Author 
Wang, Yongtian. editor. Jiang, Zhiguo. editor. Peng, Yuxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1702-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action