Bearbmagovva

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

This book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023. The 14 full papers, including one invited presentation as a full paper, presented in this volume were carefully rev...

Furkejuvvon:

Bibliográfalaš dieđut
Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Bordihn, Henning (Doaimmaheaddji), Tran, Nicholas (Doaimmaheaddji), Vaszil, György (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Preanttus:	1st ed. 2023.
Ráidu:	Lecture Notes in Computer Science, 13918
Fáttát:	Computer science. Computer engineering. Computer networks . Artificial intelligence. Computer Science Logic and Foundations of Programming. Computer Engineering and Networks. Artificial Intelligence.
Liŋkkat:	https://doi.org/10.1007/978-3-031-34326-1
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Almmustuhtton: (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 /
Almmustuhtton: (2023)

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

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Almmustuhtton: (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 /
Almmustuhtton: (2025)

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

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

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

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /
Almmustuhtton: (2025)

Prolog: The Next 50 Years
Almmustuhtton: (2023)

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

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

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
Almmustuhtton: (2024)

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

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

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

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

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

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

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

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

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

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

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

Architecture of Computing Systems 37th International Conference, ARCS 2024, Potsdam, Germany, May 14–16, 2024, Proceedings /
Almmustuhtton: (2024)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Almmustuhtton: (2023)

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

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings /
Almmustuhtton: (2023)

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

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

Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023, Proceedings, Part II /
Almmustuhtton: (2023)

Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023, Proceedings, Part I /
Almmustuhtton: (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 /
Almmustuhtton: (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 /
Almmustuhtton: (2025)

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

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

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II /
Almmustuhtton: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V /
Almmustuhtton: (2023)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III /
Almmustuhtton: (2023)