Imaxe de Portada

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers /

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021. The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submiss...

Descrición completa

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Yavorskiy, Rostislav (Editor), Cavalli, Ana Rosa (Editor), Kalenkova, Anna (Editor)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edición:	1st ed. 2024.
Series:	Communications in Computer and Information Science, 1559
Subjects:	Software engineering. Artificial intelligence. Application software. Computer networks . Computer science. Programming languages (Electronic computers). Software Engineering. Artificial Intelligence. Computer and Information Systems Applications. Computer Communication Networks. Theory of Computation. Programming Language.
Acceso en liña:	https://doi.org/10.1007/978-3-031-50423-5
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
Publicado: (2023)

Service-Oriented Computing 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I /
Publicado: (2023)

Service-Oriented Computing 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II /
Publicado: (2023)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part III /
Publicado: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30–July 3, 2025, Proceedings, Part II /
Publicado: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part I /
Publicado: (2025)

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Publicado: (2024)

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I /
Publicado: (2025)

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II /
Publicado: (2025)

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings /
Publicado: (2023)

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings /
Publicado: (2024)

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings /
Publicado: (2023)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings /
Publicado: (2023)

Communications, Networking, and Information Systems First International Congress, CNIS 2023, Guilin, China, March 25–27, 2023, Revised Selected Papers /
Publicado: (2023)

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Publicado: (2023)

Quality of Information and Communications Technology 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11–13, 2024, Proceedings /
Publicado: (2024)

Quality of Information and Communications Technology 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11–13, 2023, Proceedings /
Publicado: (2023)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part I /
Publicado: (2024)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part II /
Publicado: (2024)

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /
Publicado: (2024)

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
Publicado: (2025)

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings /
Publicado: (2025)

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part I /
Publicado: (2024)

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28–30, 2024, Proceedings, Part II /
Publicado: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II /
Publicado: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part I /
Publicado: (2024)

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27–29, 2023, Proceedings /
Publicado: (2023)

Service Science CCF 16th International Conference, ICSS 2023, Harbin, China, May 13–14, 2023, Revised Selected Papers /
Publicado: (2023)

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers /
Publicado: (2025)

Service Science CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11–12, 2024, Revised Selected Papers /
Publicado: (2024)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Publicado: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Publicado: (2024)

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II /
Publicado: (2024)

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I /
Publicado: (2024)

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
Publicado: (2025)

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 /
Publicado: (2023)

Case-Based Reasoning Research and Development 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1–4, 2024, Proceedings /
Publicado: (2024)

Case-Based Reasoning Research and Development 33rd International Conference, ICCBR 2025, Biarritz, France, June 30–July 3, 2025, Proceedings /
Publicado: (2025)

Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13–15, 2024, Revised Selected Papers /
Publicado: (2025)

Sustainable Development through Machine Learning, AI and IoT First International Conference, ICSD 2023, Delhi, India, July 15–16, 2023, Revised Selected Papers /
Publicado: (2023)