LEADER 03446nam  22007455  450 
001 996466037903316
005 20230330061647.0
010   $a3-642-40663-7
024 7 $a10.1007/978-3-642-40663-8
035   $a(CKB)3710000000015940
035   $a(SSID)ssj0000988025
035   $a(PQKBManifestationID)11549735
035   $a(PQKBTitleCode)TC0000988025
035   $a(PQKBWorkID)10949333
035   $a(PQKB)11136534
035   $a(DE-He213)978-3-642-40663-8
035   $a(MiAaPQ)EBC3093312
035   $a(PPN)172429803
035   $a(EXLCZ)993710000000015940
100   $a20130820d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic Informatics$b[electronic resource] $e5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /$fedited by Traian Muntean, Robert Rolland, Dimitrios Poulakis
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 275 p. 14 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8080
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40662-9 
327   $aData models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8080
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aSoftware engineering
606   $aDiscrete mathematics
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSymbolic and Algebraic Manipulation
606   $aSoftware Engineering
606   $aDiscrete Mathematics in Computer Science
606   $aMathematics of Computing
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aSoftware engineering.
615  0$aDiscrete mathematics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aSoftware Engineering.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aMathematics of Computing.
676   $a005.1015113
702   $aMuntean$b Traian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRolland$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPoulakis$b Dimitrios$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466037903316
996   $aAlgebraic Informatics$92954948
997   $aUNISA