Ảnh bìa

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

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Cámara, Javier (Biên tập viên), Jongmans, Sung-Shik (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, 2024.
Phiên bản:	1st ed. 2024.
Loạt:	Lecture Notes in Computer Science, 14485
Những chủ đề:	Machine theory. Natural language processing (Computer science). Data structures (Computer science). Information theory. Software engineering. Computer systems. Philology. Formal Languages and Automata Theory. Natural Language Processing (NLP). Data Structures and Information Theory. Software Engineering. Computer System Implementation. Languages.
Truy cập trực tuyến:	https://doi.org/10.1007/978-3-031-52183-6
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ự

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Được phát hành: (2024)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Được phát hành: (2024)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
Bằng: Morazán, Marco T.
Được phát hành: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Được phát hành: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Được phát hành: (2024)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Được phát hành: (2023)

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /
Được phát hành: (2023)

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Được phát hành: (2023)

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 – July 4, 2025, Proceedings /
Được phát hành: (2025)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Được phát hành: (2023)

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 /
Được phát hành: (2023)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Được phát hành: (2023)

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 /
Được phát hành: (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 /
Được phát hành: (2024)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part I /
Được phát hành: (2025)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part II /
Được phát hành: (2025)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Được phát hành: (2025)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Được phát hành: (2023)

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Được phát hành: (2025)

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Được phát hành: (2025)

Handbook on Natural Language Processing for Requirements Engineering
Được phát hành: (2025)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Được phát hành: (2024)

Collaboration in Knowledge Discovery and Decision Making Third International Workshop, DECISIONING 2024, Pereira, Colombia, June 4–6, 2024, Proceedings /
Được phát hành: (2025)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Được phát hành: (2024)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 17th International Conference, NooJ 2023, Zadar, Croatia, May 31–June 2, 2023, Revised Selected Papers /
Được phát hành: (2024)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Được phát hành: (2024)

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings /
Được phát hành: (2023)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
Được phát hành: (2024)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Được phát hành: (2024)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers /
Được phát hành: (2025)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Được phát hành: (2023)

Chinese Computational Linguistics 22nd China National Conference, CCL 2023, Harbin, China, August 3–5, 2023, Proceedings /
Được phát hành: (2023)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Được phát hành: (2025)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Được phát hành: (2023)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Được phát hành: (2023)

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings /
Được phát hành: (2023)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Được phát hành: (2025)

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
Được phát hành: (2025)

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings /
Được phát hành: (2023)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Được phát hành: (2024)