Limit Search Results
Author
SpringerLink (Online service)
(6142)
Jain, Lakhmi C. editor.
(127)
Kacprzyk, Janusz. editor.
(59)
Abraham, Ajith. editor.
(58)
Nguyen, Ngoc Thanh. editor.
(58)
Language
Publication Date
-
Subject
Computer science.
(3241)
Engineering.
(1423)
Information systems.
(1029)
Software engineering.
(964)
Data mining.
(938)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6282 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
Author 
Fu, Huazhu. editor. (orcid)0000-0002-9702-5524 Garvin, Mona K. editor. (orcid)0000-0003-3299-3150 MacGillivray, Tom. editor. (orcid)0000-0001-5120-0086 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Zheng, Yalin. editor. (orcid)0000-0002-7873-0922
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32956-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Models, Methods and Tools for Product Service Design The Manutelligence Project
Models, Methods and Tools for Product Service Design The Manutelligence Project
Author 
Cattaneo, Laura. editor. Terzi, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95849-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Artificial Companion for Second Language Conversation Chatbots Support Practice Using Conversation Analysis
Artificial Companion for Second Language Conversation Chatbots Support Practice Using Conversation Analysis
Author 
Höhn, Sviatlana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15504-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for RoboCup 2018: Robot World Cup XXII
RoboCup 2018: Robot World Cup XXII
Author 
Holz, Dirk. editor. Genter, Katie. editor. Saad, Maarouf. editor. von Stryk, Oskar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27544-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Speech and Computer 21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20–25, 2019, Proceedings
Speech and Computer 21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20–25, 2019, Proceedings
Author 
Salah, Albert Ali. editor. Karpov, Alexey. editor. (orcid)0000-0003-3424-652X Potapova, Rodmonga. editor. (orcid)0000-0002-7532-9156 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26061-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Evolutionary Computation in Combinatorial Optimization 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Evolutionary Computation in Combinatorial Optimization 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Author 
Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 Paquete, Luís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16711-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings
Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings
Author 
Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26773-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Author 
van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19955-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Smart Agents for the Industry 4.0 Enabling Machine Learning in Industrial Production
Smart Agents for the Industry 4.0 Enabling Machine Learning in Industrial Production
Author 
Hoffmann, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-27742-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Author 
Joshi, James. editor. (orcid)0000-0003-4519-9802 Nepal, Surya. editor. Zhang, Qi. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23404-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action