Tiny Transactions on Computer Science, Volume 3

Volume 3, 2015

Formal Verification and Programming Languages Machine Learning and Natural Language Processing Pervasive Computing Security and Privacy Software Engineering Systems and Networks Theory of Computation and Information Science
a service of Schloss Dagstuhl - Leibniz Center for Informatics