Limit Search Results
Author
SpringerLink (Online service)
(32)
Project Muse.
(5)
Su, Qi. editor.
(2)
Xu, Ge. editor.
(2)
Yang, Xiaoyan. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(2)
Computational linguistics.
(2)
Computer science.
(2)
Dependency -- Political aspects -- North Carolina -- History -- 19th century.
(2)
Developing countries -- Dependency on foreign countries.
(2)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Noninvasive Ventilation Outside Intensive Care Unit Rationale and Practice
Noninvasive Ventilation Outside Intensive Care Unit Rationale and Practice
Author 
Esquinas, Antonio M. editor. Spicuzza, Lucia. editor. Scala, Raffaele. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(522140.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37796-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520444.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38821-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Author 
Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521020.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35949-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Service-Oriented and Cloud Computing 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings
Service-Oriented and Cloud Computing 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings
Author 
Papadopoulos, George A. editor. (orcid) Rademacher, Florian. editor. Soldani, Jacopo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521239.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-46235-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings
Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings
Author 
Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.
Preferred Shelf Number 
XX(521256.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7254-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Author 
Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number 
XX(518910.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers
Author 
Li, Xiao-Li. editor. Cao, Tru. editor. Lim, Ee-Peng. editor. Zhou, Zhi-Hua. editor. Ho, Tu-Bao. editor.
Preferred Shelf Number 
XX(519057.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25660-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519079.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Author 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519168.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518775.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518798.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action