Limit Search Results
Author
SpringerLink (Online service)
(222)
Liu, Honghai. editor.
(5)
Liu, Lianqing. editor. (orcid)
(5)
Ouyang, Xiaoping. editor.
(5)
Wang, Zhiyong. editor.
(5)
Language
Publication Date
-
Subject
Computational intelligence.
(40)
Artificial intelligence.
(23)
Automation.
(19)
Control engineering.
(18)
Robotics.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
328 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23944-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Author 
Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25088-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers
Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers
Author 
Sun, Fuchun. editor. Cangelosi, Angelo. editor. Zhang, Jianwei. editor. Yu, Yuanlong. editor. Liu, Huaping. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0617-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers
Author 
Dudin, Alexander. editor. (orcid) Nazarov, Anatoly. editor. (orcid) Moiseev, Alexander. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32990-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings
Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings
Author 
Hou, Rui. editor. Huang, Huan. editor. Zeng, Deze. editor. Xia, Guisong. editor. A. Ghany, Kareem Kamal. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33614-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Multi-Agent-Based Simulation XXIII 23rd International Workshop, MABS 2022, Virtual Event, May 8-9, 2022, Revised Selected Papers
Multi-Agent-Based Simulation XXIII 23rd International Workshop, MABS 2022, Virtual Event, May 8-9, 2022, Revised Selected Papers
Author 
Lorig, Fabian. editor. Norling, Emma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23492-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Author 
Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41620-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets