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
25. 
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:
26. 
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:
27. 
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:
28. 
Cover image for Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Author 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Author 
Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99933-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Author 
Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98654-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Author 
Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74180-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Author 
Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Proceedings of the 2nd Workshop on Communication Security Cryptography and Physical Layer Security
Proceedings of the 2nd Workshop on Communication Security Cryptography and Physical Layer Security
Author 
Baldi, Marco. editor. (orcid)0000-0002-8754-5526 Quaglia, Elizabeth A. editor. Tomasin, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II
Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98446-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action