| 000 | 02557nam a22004815i 4500 | ||
|---|---|---|---|
| 001 | vtls000561952 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922090746.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170213s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783662480540 _9978-3-662-48054-0 |
||
| 024 | 7 |
_a10.1007/978-3-662-48054-0 _2doi |
|
| 035 | _ato000561952 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 050 | 4 | _aQA76.9.A43 | |
| 072 | 7 |
_aUMB _2bicssc |
|
| 072 | 7 |
_aCOM051300 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aMathematical Foundations of Computer Science 2015 _helectronic resource _b40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / _cedited by Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella. |
| 250 | _a1st ed. 2015. | ||
| 260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2015. |
||
| 300 |
_aXVII, 615 p. 58 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 ; _v9235 |
|
| 520 | _aThis two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2). | ||
| 650 | 0 |
_aComputer Science. _9155490 |
|
| 650 | 0 |
_aAlgorithms. _9304813 |
|
| 650 | 1 | 4 |
_aComputer Science. _9155490 |
| 650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _9303732 |
| 700 | 1 |
_aItaliano, Giuseppe F. _eeditor. _9322083 |
|
| 700 | 1 |
_aPighizzini, Giovanni. _eeditor. _9470298 |
|
| 700 | 1 |
_aSannella, Donald T. _eeditor. _9470299 |
|
| 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-662-48054-0 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 | _c416974 | ||