Mathematics and Computation, a Contemporary View : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
Lire la suite
New Computational Paradigms
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Lire la suite
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Lire la suite
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suite
Techniques virales avancées
This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Lire la suite
Theoretical Computer Science (vol. # 3701)
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Lire la suite
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of ...
Lire la suite
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Lire la suite
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
Lire la suite
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suite
