for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 40th International Conference on... Læs mere
This book constitutes the proceedings of the 20th International Conference... Læs mere
This book constitutes selected and revised papers from the First... Læs mere
This book constitutes the refereed proceedings of the 19th International... Læs mere
This book constitutes the proceedings of the 18th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
This book constitutes the proceedings of the 16th International Conference on... Læs mere
This book constitutes refereed proceedings of the 7th International Conference on Technologies and Innovation, CITI 2021, held in Guayaquil, Ecuador, in November 2021.The 14 full papers presented in this volume were carefully reviewed and selected from 36 submissions.
This book constitutes refereed proceedings of the 9th Conference on Information and Communication Technologies of Ecuador, TICEC 2021, held at the Universidad Politécnica Salesiana (UPS) campus in November 2021.
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010.
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.