Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
Continue readingConstitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...
Continue readingThe papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...
Continue readingThis book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
Continue readingThis volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
Continue readingDedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
Continue readingProgramming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
Continue readingThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Continue readingThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Continue readingThis volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...
Continue readingIt is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Continue readingThis book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingConstitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held ...
Continue readingThis volume contains the proceedings of the ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory ...
Continue readingThis book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
Continue readingThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Continue readingThe symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
Continue readingThe aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
Continue readingThis book constitutes the refereed proceedings of the 20th EPIA Conference on Artificial Intelligence, EPIA 2021, held virtually ...
Continue reading