03446nam 22007455 450 99646603790331620230330061647.03-642-40663-710.1007/978-3-642-40663-8(CKB)3710000000015940(SSID)ssj0000988025(PQKBManifestationID)11549735(PQKBTitleCode)TC0000988025(PQKBWorkID)10949333(PQKB)11136534(DE-He213)978-3-642-40663-8(MiAaPQ)EBC3093312(PPN)172429803(EXLCZ)99371000000001594020130820d2013 u| 0engurnn#008mamaatxtccrAlgebraic Informatics[electronic resource] 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 275 p. 14 illus.)Theoretical Computer Science and General Issues,2512-2029 ;8080Bibliographic Level Mode of Issuance: Monograph3-642-40662-9 Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling.This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.Theoretical Computer Science and General Issues,2512-2029 ;8080Computer scienceMachine theoryComputer science—MathematicsSoftware engineeringDiscrete mathematicsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySymbolic and Algebraic ManipulationSoftware EngineeringDiscrete Mathematics in Computer ScienceMathematics of ComputingComputer science.Machine theory.Computer science—Mathematics.Software engineering.Discrete mathematics.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.Software Engineering.Discrete Mathematics in Computer Science.Mathematics of Computing.005.1015113Muntean Traianedthttp://id.loc.gov/vocabulary/relators/edtRolland Robertedthttp://id.loc.gov/vocabulary/relators/edtPoulakis Dimitriosedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466037903316Algebraic Informatics2954948UNISA