Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 11th International... Læs mere
"Small Dynamic Complexity Classes" was awarded the E.W. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context.
This bookcontains revised selected papers from the 22nd International... Læs mere
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.
This book constitutes the proceedings of the 19th Nordic Conference on Secure IT Systems, held in... Læs mere
Thisbook constitutes the proceedings of the 20th Nordic Conference on Secure ITSystems, held in Stockholm, Sweden, in October 2015. The11 full papers presented together with 5 short papers in this volume werecarefully reviewed and selected from 38 submissions.
This book constitutes the refereed proceedings of the 11th International Workshop on... Læs mere
The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions.
The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.