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 /
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024. The 104 full papers included in this book were carefully reviewed an...
Đã lưu trong:
| Tác giả của công ty: | SpringerLink (Online service) |
|---|---|
| Tác giả khác: | Quesada-Arencibia, Alexis (Biên tập viên), Affenzeller, Michael (Biên tập viên), Moreno-Díaz, Roberto (Biên tập viên) |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Phiên bản: | 1st ed. 2025. |
| Loạt: | Lecture Notes in Computer Science,
15172 |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-3-031-82949-9 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
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 /
Được phát hành: (2025)
Được phát hành: (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 /
Được phát hành: (2025)
Được phát hành: (2025)
Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
Được phát hành: (2025)
Được phát hành: (2025)
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /
Được phát hành: (2024)
Được phát hành: (2024)
Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Được phát hành: (2023)
Được phát hành: (2023)
Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
Được phát hành: (2025)
Được phát hành: (2025)
Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
Được phát hành: (2025)
Được phát hành: (2025)
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
Được phát hành: (2024)
Được phát hành: (2024)
From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
Được phát hành: (2025)
Được phát hành: (2025)
Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings /
Được phát hành: (2023)
Được phát hành: (2023)
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II /
Được phát hành: (2024)
Được phát hành: (2024)
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part I /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part I /
Được phát hành: (2024)
Được phát hành: (2024)
Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part II /
Được phát hành: (2024)
Được phát hành: (2024)
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Được phát hành: (2023)
Được phát hành: (2023)
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /
Được phát hành: (2025)
Được phát hành: (2025)
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings /
Được phát hành: (2025)
Được phát hành: (2025)
Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12–14, 2024, Revised Selected Papers /
Được phát hành: (2025)
Được phát hành: (2025)
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers /
Được phát hành: (2025)
Được phát hành: (2025)
Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers /
Được phát hành: (2025)
Được phát hành: (2025)
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /
Được phát hành: (2025)
Được phát hành: (2025)
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
Được phát hành: (2025)
Được phát hành: (2025)
Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings /
Được phát hành: (2024)
Được phát hành: (2024)
Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
Được phát hành: (2023)
Được phát hành: (2023)
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Được phát hành: (2024)
Được phát hành: (2024)
Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I /
Được phát hành: (2025)
Được phát hành: (2025)
Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II /
Được phát hành: (2025)
Được phát hành: (2025)
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings /
Được phát hành: (2023)
Được phát hành: (2023)
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings /
Được phát hành: (2023)
Được phát hành: (2023)
Communications, Networking, and Information Systems First International Congress, CNIS 2023, Guilin, China, March 25–27, 2023, Revised Selected Papers /
Được phát hành: (2023)
Được phát hành: (2023)
Smart Cities 5th Ibero-American Congress, ICSC-CITIES 2022, Cuenca, Ecuador, November 28-30, 2022, Revised Selected Papers /
Được phát hành: (2023)
Được phát hành: (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 /
Được phát hành: (2024)
Được phát hành: (2024)
Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13–17, 2023, Revised Selected Papers /
Được phát hành: (2024)
Được phát hành: (2024)
Những quyển sách tương tự
-
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 /
Được phát hành: (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 /
Được phát hành: (2025) -
Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
Được phát hành: (2025) -
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /
Được phát hành: (2024) -
Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Được phát hành: (2023)