1
Tools for Design, Implementation and Verification of Emerging Information Technologies [E-Book] : 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings /
2
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VI /
3
Structured Object-Oriented Formal Language and Method [E-Book] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
4
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IV /
5
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V /
6
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I /
7
Software Architecture [E-Book] : Research Roadmaps from the Community /
8
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part II /
9
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part III /
10
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII /
11
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VIII /
12
Intelligent Robotics and Applications [E-Book] : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IX /
13
Intelligent Robotics and Applications [E-Book] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part III /
14
Intelligent Robotics and Applications [E-Book] : 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part I /
15
Petri Nets [E-Book] : Theoretical Models and Analysis Methods for Concurrent Systems /
16
Chinese Lexical Semantics [E-Book] : 21st Workshop, CLSW 2020,  Hong Kong, China, May 28-30, 2020,  Revised Selected Papers /
17
Intelligent Robotics and Applications [E-Book] : 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part III /
18
Intelligent Robotics and Applications [E-Book] : 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part I /
19
Wireless Algorithms, Systems, and Applications [E-Book] : 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part I /
20
Structured Object-Oriented Formal Language and Method [E-Book] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /