Limit Search Results
Author
Su, Qi. editor.
(2)
Xu, Ge. editor.
(2)
Yang, Xiaoyan. editor.
(2)
Agarwal, Sonali. editor.
(1)
Barhamgi, Mahmoud. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
Cover image for Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
Author 
van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520421.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34241-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part II
Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part II
Author 
Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number 
XX(520768.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2385-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520854.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
Cover image for Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I
Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I
Author 
Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521389.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28953-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers
Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers
Author 
Ghatee, Mehdi. editor. Hashemi, S. Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520689.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43763-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Author 
Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520735.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
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: