000 | 03034nam a22006255i 4500 | ||
---|---|---|---|
001 | vtls000485304 | ||
003 | RU-ToGU | ||
005 | 20210922070040.0 | ||
007 | cr nn 008mamaa | ||
008 | 140715s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642406638 _9978-3-642-40663-8 |
||
024 | 7 |
_a10.1007/978-3-642-40663-8 _2doi |
|
035 | _ato000485304 | ||
040 |
_aSpringer _cSpringer _dRU-ToGU |
||
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
050 | 4 | _aQA76.63 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aUYF _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aCOM036000 _2bisacsh |
|
082 | 0 | 4 |
_a005.1015113 _223 |
100 | 1 |
_aMuntean, Traian. _eeditor. _9320449 |
|
245 | 1 | 0 |
_aAlgebraic Informatics _h[electronic resource] : _b5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / _cedited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. |
260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
||
300 |
_aX, 275 p. 14 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8080 |
|
505 | 0 | _aData models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling. | |
520 | _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. | ||
650 | 0 |
_aComputer Science. _9155490 |
|
650 | 0 |
_aSoftware engineering. _9566225 |
|
650 | 0 |
_aLogic design. _9306256 |
|
650 | 0 |
_aComputational complexity. _9304814 |
|
650 | 0 |
_aAlgebra _xData processing. _9304851 |
|
650 | 1 | 4 |
_aComputer Science. _9155490 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _9306257 |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _9303363 |
650 | 2 | 4 |
_aSymbolic and Algebraic Manipulation. _9566359 |
650 | 2 | 4 |
_aSoftware Engineering. _9566285 |
650 | 2 | 4 |
_aDiscrete Mathematics in Computer Science. _9304816 |
650 | 2 | 4 |
_aMathematics of Computing. _9303612 |
700 | 1 |
_aPoulakis, Dimitrios. _eeditor. _9416004 |
|
700 | 1 |
_aRolland, Robert. _eeditor. _9416005 |
|
710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
773 | 0 | _tSpringer eBooks | |
830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-40663-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 | _c357623 |