Limit Search Results
Author
SpringerLink (Online service)
(2161)
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.
(552)
Computational complexity.
(545)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2174 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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 II
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 II
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-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
Author 
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01421-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings
Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings
Author 
Hu, Ting. editor. Wang, Feng. editor. Li, Hongwei. editor. Wang, Qian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05234-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Wireless Personal Communications Simulation and Complexity
Wireless Personal Communications Simulation and Complexity
Author 
A. M. El-Bendary, Mohsen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7131-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Foundations of Trusted Autonomy
Foundations of Trusted Autonomy
Author 
Abbass, Hussein A. editor. Scholz, Jason. editor. Reid, Darryn J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64816-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
Author 
Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
Author 
Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75172-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. Umeton, Renato. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings
Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings
Author 
Bai, Xiao. editor. Hancock, Edwin R. editor. Ho, Tin Kam. editor. Wilson, Richard C. editor. Biggio, Battista. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
Author 
Bender, Michael A. editor. Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788 Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77404-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Genetic Programming Theory and Practice XIV
Genetic Programming Theory and Practice XIV
Author 
Riolo, Rick. editor. Worzel, Bill. editor. Goldman, Brian. editor. Tozier, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97088-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
Author 
Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action