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
maintained by Schloss Dagstuhl LZI at University of Trier