Azala

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proc...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Petrucci, Laure (Argitaratzailea), Sproston, Jeremy (Argitaratzailea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edizioa:	1st ed. 2023.
Saila:	Lecture Notes in Computer Science, 14138
Gaiak:	Computer science. Data structures (Computer science). Information theory. Software engineering. Computer engineering. Computer networks . Logic programming. Natural language processing (Computer science). Theory of Computation. Data Structures and Information Theory. Software Engineering. Computer Engineering and Networks. Logic in AI. Natural Language Processing (NLP).
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-031-42626-1
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Argitaratua: (2024)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Argitaratua: (2024)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Argitaratua: (2024)

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Argitaratua: (2025)

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Argitaratua: (2023)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Argitaratua: (2023)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Argitaratua: (2024)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Argitaratua: (2023)

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings /
Argitaratua: (2025)

Chinese Computational Linguistics 22nd China National Conference, CCL 2023, Harbin, China, August 3–5, 2023, Proceedings /
Argitaratua: (2023)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Argitaratua: (2023)

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Argitaratua: (2024)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12–14, 2023, Proceedings /
Argitaratua: (2023)

Transactions on Petri Nets and Other Models of Concurrency XVII
Argitaratua: (2024)

Handbook on Natural Language Processing for Requirements Engineering
Argitaratua: (2025)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Argitaratua: (2024)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Argitaratua: (2024)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Argitaratua: (2023)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Argitaratua: (2023)

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings /
Argitaratua: (2023)

Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9–11, 2024, Proceedings /
Argitaratua: (2024)

Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26–29, 2023, Proceedings /
Argitaratua: (2023)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26–28, 2024, Proceedings /
Argitaratua: (2025)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Argitaratua: (2025)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Argitaratua: (2025)

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part II /
Argitaratua: (2024)

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part I /
Argitaratua: (2024)

Formal Analysis for Natural Language Processing: A Handbook
nork: Feng, Zhiwei
Argitaratua: (2023)

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22–24, 2023, Proceedings /
Argitaratua: (2023)

Information Systems and Design Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12–13, 2022, Revised Selected Papers /
Argitaratua: (2023)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Argitaratua: (2025)

Machine Translation 19th China Conference, CCMT 2023, Jinan, China, October 19–21, 2023, Proceedings /
Argitaratua: (2023)

Innovative Intelligent Industrial Production and Logistics First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers /
Argitaratua: (2023)

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings /
Argitaratua: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Argitaratua: (2024)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24–26, 2023, Proceedings /
Argitaratua: (2024)

Investigations in Entity Relationship Extraction
nork: Pawar, Sachin Sharad, et al.
Argitaratua: (2023)

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings /
Argitaratua: (2023)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part I /
Argitaratua: (2025)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part II /
Argitaratua: (2025)