Bearbmagovva

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

This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They co...

Furkejuvvon:

Bibliográfalaš dieđut
Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Bellodi, Elena (Doaimmaheaddji), Lisi, Francesca Alessandra (Doaimmaheaddji), Zese, Riccardo (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 Artificial Intelligence, 14363
Fáttát:	Artificial intelligence. Computer engineering. Computer networks . Compilers (Computer programs). Computer science. Machine theory. Artificial Intelligence. Computer Engineering and Networks. Compilers and Interpreters. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory.
Liŋkkat:	https://doi.org/10.1007/978-3-031-49299-0
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

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

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

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

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

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

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

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

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

Programming Languages: Principles and Paradigms
Dahkki: Gabbrielli, Maurizio, et al.
Almmustuhtton: (2023)

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

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

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

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

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

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

Introduction to Compiler Design
Dahkki: Mogensen, Torben Ægidius
Almmustuhtton: (2024)

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

The Essence of Compilers /
Dahkki: Hunter, Robin
Almmustuhtton: (2007)

The Essence of Compilers /
Dahkki: Hunter, Robin
Almmustuhtton: (2007)

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

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

The Essence of Compilers /
Dahkki: Hunter, Robin
Almmustuhtton: (2007)

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

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

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

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

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

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Almmustuhtton: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Almmustuhtton: (2023)

Modern compiler design
Dahkki: Grune, Dick
Almmustuhtton: (2000)

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

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /
Almmustuhtton: (2023)

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

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Almmustuhtton: (2024)

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings /
Almmustuhtton: (2024)

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

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

Design Patterns with Java An Introduction /
Dahkki: Musch, Olaf
Almmustuhtton: (2023)