Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science, 14245) [1st ed. 2023] 3031442660, 9783031442667
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, he
143 103 58MB
English Pages 501 Year 2023
![Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science, 14245) [1st ed. 2023]
3031442660, 9783031442667](https://dokumen.pub/img/200x200/runtime-verification-23rd-international-conference-rv-2023-thessaloniki-greece-october-36-2023-proceedings-lecture-notes-in-computer-science-14245-1st-ed-2023-3031442660-9783031442667.jpg)
![The Semantic Web: 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28–June 1, 2023, Proceedings (Lecture Notes in Computer Science, 13870) [1st ed. 2023]
9783031334542, 303133454X](https://dokumen.pub/img/200x200/the-semantic-web-20th-international-conference-eswc-2023-hersonissos-crete-greece-may-28june-1-2023-proceedings-lecture-notes-in-computer-science-13870-1st-ed-2023-9783031334542-303133454x.jpg)
![Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science, 14281) [1st ed. 2023]
9783031436185, 9783031436192, 3031436180](https://dokumen.pub/img/200x200/logics-in-artificial-intelligence-18th-european-conference-jelia-2023-dresden-germany-september-2022-2023-proceedings-lecture-notes-in-computer-science-14281-1st-ed-2023-9783031436185-9783031436192-3031436180.jpg)
![Advanced Intelligent Computing Technology and Applications: 19th International Conference, ICIC 2023, Zhengzhou, China, August 10–13, 2023, ... (Lecture Notes in Computer Science, 14088) [1st ed. 2023]
9819947480, 9789819947485](https://dokumen.pub/img/200x200/advanced-intelligent-computing-technology-and-applications-19th-international-conference-icic-2023-zhengzhou-china-august-1013-2023-lecture-notes-in-computer-science-14088-1st-ed-2023-9819947480-9789819947485.jpg)
![Augmented Intelligence and Intelligent Tutoring Systems: 19th International Conference, ITS 2023, Corfu, Greece, June 2–5, 2023, Proceedings (Lecture Notes in Computer Science, 13891) [1st ed. 2023]
9783031328824, 3031328825](https://dokumen.pub/img/200x200/augmented-intelligence-and-intelligent-tutoring-systems-19th-international-conference-its-2023-corfu-greece-june-25-2023-proceedings-lecture-notes-in-computer-science-13891-1st-ed-2023-9783031328824-3031328825.jpg)
![Discovery Science: 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19–21, 2020, Proceedings [1st ed.]
9783030615260, 9783030615277](https://dokumen.pub/img/200x200/discovery-science-23rd-international-conference-ds-2020-thessaloniki-greece-october-1921-2020-proceedings-1st-ed-9783030615260-9783030615277.jpg)
![Proceedings of 2023 Chinese Intelligent Systems Conference: Volume I (Lecture Notes in Electrical Engineering, 1089) [1st ed. 2023]
9819968461, 9789819968466](https://dokumen.pub/img/200x200/proceedings-of-2023-chinese-intelligent-systems-conference-volume-i-lecture-notes-in-electrical-engineering-1089-1st-ed-2023-9819968461-9789819968466.jpg)
![Medical Image Computing and Computer Assisted Intervention – MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8–12, 2023, ... II (Lecture Notes in Computer Science, 14221) [1st ed. 2023]
3031438949, 9783031438943](https://dokumen.pub/img/200x200/medical-image-computing-and-computer-assisted-intervention-miccai-2023-26th-international-conference-vancouver-bc-canada-october-812-2023-ii-lecture-notes-in-computer-science-14221-1st-ed-2023-3031438949-9783031438943.jpg)
![Proceedings of 2023 Chinese Intelligent Systems Conference: Volume II (Lecture Notes in Electrical Engineering, 1090) [1st ed. 2023]
981996881X, 9789819968817](https://dokumen.pub/img/200x200/proceedings-of-2023-chinese-intelligent-systems-conference-volume-ii-lecture-notes-in-electrical-engineering-1090-1st-ed-2023-981996881x-9789819968817.jpg)