Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 18th International System... Læs mere
This book constitutes the proceedings of the 13th International Workshop... Læs mere
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning,... Læs mere
This book constitutes the refereed proceedings of the 21st Ada-Europe... Læs mere
This book constitutes the refereed proceedings of the 22nd Ada-Europe... Læs mere
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Reachability... Læs mere
This book constitutes the proceedings of the 24th European Symposium on... Læs mere
The papers cover a variety of foundational and practical issues in programming... Læs mere
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming... Læs mere
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming... Læs mere
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016. The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions.