Azala

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were careful...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Katsaros, Panagiotis (Argitaratzailea), Nenzi, Laura (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, 14245
Gaiak:	Software engineering. Machine theory. Computer science. Artificial intelligence. Algorithms. Compilers (Computer programs). Software Engineering. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Artificial Intelligence. Compilers and Interpreters.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-031-44267-4
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Argitaratua: (2025)

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Argitaratua: (2023)

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Argitaratua: (2025)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Argitaratua: (2023)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Argitaratua: (2024)

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Argitaratua: (2023)

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Argitaratua: (2025)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Argitaratua: (2023)

Learn coding with Python and JavaScript A practical introduction for beginners /
nork: Zuckarelli, Joachim L.
Argitaratua: (2024)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Argitaratua: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Argitaratua: (2024)

Programming Languages: Principles and Paradigms
nork: Gabbrielli, Maurizio, et al.
Argitaratua: (2023)

Compiler Construction Fundamentals and Applications /
nork: Mössenböck, Hanspeter
Argitaratua: (2025)

AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Argitaratua: (2023)

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

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Argitaratua: (2023)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Argitaratua: (2024)

Introduction to Compiler Design
nork: Mogensen, Torben Ægidius
Argitaratua: (2024)

Guide to Java A Concise Introduction to Programming /
nork: Streib, James T., et al.
Argitaratua: (2023)

A Concise Introduction to Software Engineering With Open Source and GenAI /
nork: Jalote, Pankaj
Argitaratua: (2025)

Design Patterns with Java An Introduction /
nork: Musch, Olaf
Argitaratua: (2023)

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

AIxIA 2022 – Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings /
Argitaratua: (2023)

AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings /
Argitaratua: (2025)

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings /
Argitaratua: (2025)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
nork: Aho, Alfred V.

The Essence of Compilers /
nork: Hunter, Robin
Argitaratua: (2007)

The Essence of Compilers /
nork: Hunter, Robin
Argitaratua: (2007)

The Essence of Compilers /
nork: Hunter, Robin
Argitaratua: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
nork: Aho, Alfred V.

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
nork: Aho, Alfred V.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
Argitaratua: (2024)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Argitaratua: (2023)

Graph Transformation 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings /
Argitaratua: (2023)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Argitaratua: (2023)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Argitaratua: (2025)

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations Theories and Methodologies /
nork: Xu, Yejun
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)

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings /
Argitaratua: (2024)

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings /
Argitaratua: (2025)