Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023. The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in t...
Gorde:
| Erakunde egilea: | SpringerLink (Online service) |
|---|---|
| Beste egile batzuk: | Hur, Chung-Kil (Argitaratzailea) |
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2023.
|
| Edizioa: | 1st ed. 2023. |
| Saila: | Lecture Notes in Computer Science,
14405 |
| Gaiak: | |
| Sarrera elektronikoa: | https://doi.org/10.1007/978-981-99-8311-7 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Argitaratua: (2025)
Argitaratua: (2025)
Introduction to Compiler Design
nork: Mogensen, Torben Ægidius
Argitaratua: (2024)
nork: Mogensen, Torben Ægidius
Argitaratua: (2024)
Programming Languages: Principles and Paradigms
nork: Gabbrielli, Maurizio, et al.
Argitaratua: (2023)
nork: Gabbrielli, Maurizio, et al.
Argitaratua: (2023)
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings /
Argitaratua: (2025)
Argitaratua: (2025)
Learn coding with Python and JavaScript A practical introduction for beginners /
nork: Zuckarelli, Joachim L.
Argitaratua: (2024)
nork: Zuckarelli, Joachim L.
Argitaratua: (2024)
Principles of compiler design : with a foreword and suggested exercises by S. Biswas
nork: Aho, Alfred V.
nork: Aho, Alfred V.
The Essence of Compilers /
nork: Hunter, Robin
Argitaratua: (2007)
nork: Hunter, Robin
Argitaratua: (2007)
The Essence of Compilers /
nork: Hunter, Robin
Argitaratua: (2007)
nork: Hunter, Robin
Argitaratua: (2007)
The Essence of Compilers /
nork: Hunter, Robin
Argitaratua: (2007)
nork: Hunter, Robin
Argitaratua: (2007)
Principles of compiler design : with a foreword and suggested exercises by S. Biswas
nork: Aho, Alfred V.
nork: Aho, Alfred V.
Principles of compiler design : with a foreword and suggested exercises by S. Biswas
nork: Aho, Alfred V.
nork: Aho, Alfred V.
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Guide to Java A Concise Introduction to Programming /
nork: Streib, James T., et al.
Argitaratua: (2023)
nork: Streib, James T., et al.
Argitaratua: (2023)
Design Patterns with Java An Introduction /
nork: Musch, Olaf
Argitaratua: (2023)
nork: Musch, Olaf
Argitaratua: (2023)
Advanced Guide to Python 3 Programming
nork: Hunt, John
Argitaratua: (2023)
nork: Hunt, John
Argitaratua: (2023)
A Beginners Guide to Python 3 Programming
nork: Hunt, John
Argitaratua: (2023)
nork: Hunt, John
Argitaratua: (2023)
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Argitaratua: (2025)
Argitaratua: (2025)
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Argitaratua: (2024)
Argitaratua: (2024)
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Argitaratua: (2023)
Argitaratua: (2023)
Modern compiler design
nork: Grune, Dick
Argitaratua: (2000)
nork: Grune, Dick
Argitaratua: (2000)
Compiler Construction Fundamentals and Applications /
nork: Mössenböck, Hanspeter
Argitaratua: (2025)
nork: Mössenböck, Hanspeter
Argitaratua: (2025)
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Argitaratua: (2025)
Argitaratua: (2025)
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Argitaratua: (2024)
Argitaratua: (2024)
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)
Argitaratua: (2023)
Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings /
Argitaratua: (2024)
Argitaratua: (2024)
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)
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)
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)
Argitaratua: (2023)
Prolog programming for artificial intelligence
nork: Bratko, Ivan
Argitaratua: (2001)
nork: Bratko, Ivan
Argitaratua: (2001)
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Compilers : Principles , Techniques , and Tool /
nork: Aho, Alfred V.
Argitaratua: (2017)
nork: Aho, Alfred V.
Argitaratua: (2017)
Compilers : Principles , Techniques , and Tool /
nork: Aho, Alfred V.
Argitaratua: (2017)
nork: Aho, Alfred V.
Argitaratua: (2017)
Compilers : Principles , Techniques , and Tool /
nork: Aho, Alfred V.
Argitaratua: (2017)
nork: Aho, Alfred V.
Argitaratua: (2017)
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Argitaratua: (2024)
Argitaratua: (2024)
Graph Transformation 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Argitaratua: (2024)
Argitaratua: (2024)
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Argitaratua: (2023)
Argitaratua: (2023)
Antzeko izenburuak
-
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Argitaratua: (2025) -
Introduction to Compiler Design
nork: Mogensen, Torben Ægidius
Argitaratua: (2024) -
Programming Languages: Principles and Paradigms
nork: Gabbrielli, Maurizio, et al.
Argitaratua: (2023) -
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings /
Argitaratua: (2025) -
Learn coding with Python and JavaScript A practical introduction for beginners /
nork: Zuckarelli, Joachim L.
Argitaratua: (2024)