000 | 03114nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-642-40663-8 | ||
003 | DE-He213 | ||
005 | 20240423125641.0 | ||
007 | cr nn 008mamaa | ||
008 | 130820s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642406638 _9978-3-642-40663-8 |
||
024 | 7 |
_a10.1007/978-3-642-40663-8 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aAlgebraic Informatics _h[electronic resource] : _b5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / _cedited by Traian Muntean, Robert Rolland, Dimitrios Poulakis. |
250 | _a1st ed. 2013. | ||
264 | 1 |
_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 |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _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. | |
650 | 0 | _aMachine theory. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aDiscrete mathematics. | |
650 | 1 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aSymbolic and Algebraic Manipulation. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
650 | 2 | 4 | _aMathematics of Computing. |
700 | 1 |
_aMuntean, Traian. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aRolland, Robert. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aPoulakis, Dimitrios. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642406621 |
776 | 0 | 8 |
_iPrinted edition: _z9783642406645 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v8080 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-40663-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cSPRINGER | ||
999 |
_c180274 _d180274 |