Imagem da capa

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /

This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22–24, 2025. This book includes 15 full papers, carefully reviewed and selected from 20 submissions, as wel...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Malcher, Andreas (Editor), Prigioniero, Luca (Editor)
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edição:	1st ed. 2025.
Colecção:	Lecture Notes in Computer Science, 15759
Assuntos:	Computer science. Computer engineering. Computer networks . Artificial intelligence. Computer Science Logic and Foundations of Programming. Computer Engineering and Networks. Artificial Intelligence.
Acesso em linha:	https://doi.org/10.1007/978-3-031-97100-6
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Publicado em: (2023)

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

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /
Publicado em: (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 /
Publicado em: (2023)

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

After Latour: Globalisation, Inequity and Climate Change IFIP WG 8.2 and WG 9.4 Joint Working Conference, IFIPJWC 2023, Hyderabad, India, December 7–8, 2023, Proceedings /
Publicado em: (2023)

Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2 /
Publicado em: (2025)

Electronic Government 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5–7, 2023, Proceedings /
Publicado em: (2023)

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Publicado em: (2023)

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

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings /
Publicado em: (2025)

Emerging Technology for Sustainable Development Select Proceedings of EGTET 2022 /
Publicado em: (2024)

Electronic Government 23rd IFIP WG 8.5 International Conference, EGOV 2024, Ghent-Leuven, Belgium, September 3–5, 2024, Proceedings /
Publicado em: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part III /
Publicado em: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part I /
Publicado em: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part II /
Publicado em: (2024)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Publicado em: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Publicado em: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Publicado em: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Publicado em: (2025)

Mathematical Modeling and Supercomputer Technologies 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18–21, 2024, Revised Selected Papers /
Publicado em: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V /
Publicado em: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Publicado em: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Publicado em: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Publicado em: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Publicado em: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI /
Publicado em: (2025)

Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings /
Publicado em: (2025)

Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings /
Publicado em: (2024)

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

Algorithmic Decision Theory 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14–16, 2024, Proceedings /
Publicado em: (2025)

Mathematical Modeling and Supercomputer Technologies 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13–16, 2023, Revised Selected Papers /
Publicado em: (2024)

Big Data – BigData 2025 14th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27–30, 2025, Proceedings /
Publicado em: (2025)

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

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025, Proceedings, Part I /
Publicado em: (2025)

Bioinformatics Research and Applications 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9–12, 2023, Proceedings /
Publicado em: (2023)

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings /
Publicado em: (2024)

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

Computational Science and Its Applications – ICCSA 2023 Workshops Athens, Greece, July 3–6, 2023, Proceedings, Part IX /
Publicado em: (2023)

Computational Science and Its Applications – ICCSA 2024 Workshops Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part IX /
Publicado em: (2024)