Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / [electronic resource] : edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - 1 online resource (X, 275 p. 14 ill.) - Lecture Notes in Computer Science, 8080 0302-9743 ; .

Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling.

9783642406638


Computer science.
Software engineering.
Computer logic.
Mathematical logic.
Computer science--Mathematics.