181
Computer Aided Verification [E-Book] : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
182
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries : 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers [E-Book] /
183
Computer Aided Verification [E-Book] : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
184
New Frontiers in Artificial Intelligence [E-Book] : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers /
185
Advances and Trends in Artificial Intelligence. Theory and Applications [E-Book] : 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part I /
186
Unity of Logic and Computation [E-Book] : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings /
187
Simulation and Gaming for Social Impact [E-Book] : 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers /
188
Tests and Proofs [E-Book] : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings /
189
3D Research Challenges in Cultural Heritage III [E-Book] : Complexity and Quality in Digitisation /
190
HCI in Business, Government and Organizations [E-Book] : 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I /
191
HCI in Business, Government and Organizations [E-Book] : 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II /
192
Financial Cryptography and Data Security. FC 2022 International Workshops [E-Book] : CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers /
193
Algorithms and Data Structures [E-Book] : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings /
194
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges [E-Book] : Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV /
195
Electronic Government and the Information Systems Perspective [E-Book] : 12th International Conference, EGOVIS 2023, Penang, Malaysia, August 28-30, 2023, Proceedings /
196
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges [E-Book] : Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I /
197
Advanced Intelligent Computing Technology and Applications [E-Book] : 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I /
198
Advanced Intelligent Computing Technology and Applications [E-Book] : 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV /
199
Advanced Intelligent Computing Technology and Applications [E-Book] : 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V /
200
Biomimetic and Biohybrid Systems [E-Book] : 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I /