The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
Continue readingThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Continue readingThis book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Continue readingThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Continue readingThis book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of ...
Continue readingThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Continue readingThis book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
Continue readingThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Continue reading