000 | 02695nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-319-23111-2 | ||
003 | DE-He213 | ||
005 | 20200421112041.0 | ||
007 | cr nn 008mamaa | ||
008 | 150829s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319231112 _9978-3-319-23111-2 |
||
024 | 7 |
_a10.1007/978-3-319-23111-2 _2doi |
|
050 | 4 | _aQA76.9.A43 | |
072 | 7 |
_aUMB _2bicssc |
|
072 | 7 |
_aCOM051300 _2bisacsh |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aMachines, Computations, and Universality _h[electronic resource] : _b7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / _cedited by Jerome Durand-Lose, Benedek Nagy. |
250 | _a1st ed. 2015. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 |
_aXX, 199 p. 41 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9288 |
|
520 | _aThis book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015. The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.). | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputers. | |
650 | 0 | _aAlgorithms. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
650 | 2 | 4 | _aComputation by Abstract Devices. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
700 | 1 |
_aDurand-Lose, Jerome. _eeditor. |
|
700 | 1 |
_aNagy, Benedek. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319231105 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9288 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-23111-2 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c56633 _d56633 |