Okładka

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

This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4–5, 2024. The 9 full papers included in this book were carefully reviewed and selected from 15 submissions. These papers present re...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
Korporacja:	SpringerLink (Online service)
Kolejni autorzy:	Czekster, Ricardo M. (Redaktor), Milazzo, Paolo (Redaktor)
Format:	Elektroniczne E-book
Język:	angielski
Wydane:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Wydanie:	1st ed. 2025.
Seria:	Lecture Notes in Computer Science, 15556
Hasła przedmiotowe:	Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computer science. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Theory of Computation.
Dostęp online:	https://doi.org/10.1007/978-3-031-87908-1
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

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

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

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

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

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
Wydane: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
Wydane: (2025)

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

Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings /
Wydane: (2023)

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12–14, 2024, Revised Selected Papers /
Wydane: (2025)

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

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers /
Wydane: (2025)

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

Smart Cities 5th Ibero-American Congress, ICSC-CITIES 2022, Cuenca, Ecuador, November 28-30, 2022, Revised Selected Papers /
Wydane: (2023)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /
Wydane: (2025)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
Wydane: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II /
Wydane: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I /
Wydane: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III /
Wydane: (2025)

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /
Wydane: (2025)

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
Wydane: (2024)

Technological Innovation for Human-Centric Systems 15th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2024, Caparica, Portugal, July 3–5, 2024, Proceedings /
Wydane: (2024)

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

Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13–17, 2023, Revised Selected Papers /
Wydane: (2024)

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

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

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

Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage Third International Conference, TMM_CH 2023, Athens, Greece, March 20–23, 2023, Revised Selected Papers /
Wydane: (2023)

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings /
Wydane: (2024)

Technological Innovation for AI-Powered Cyber-Physical Systems 16th IFIP WG 5.5 / SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2025, Caparica, Portugal, July 2 - 4, 2025, Proceedings /
Wydane: (2025)

Technological Innovation for Connected Cyber Physical Spaces 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2023, Caparica, Portugal, July 5–7, 2023, Proceedings /
Wydane: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II /
Wydane: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /
Wydane: (2023)

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /
Wydane: (2023)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II /
Wydane: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I /
Wydane: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI /
Wydane: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV /
Wydane: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V /
Wydane: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III /
Wydane: (2024)

Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII /
Wydane: (2024)