000			02928nam a22004935i 4500
999			_c200434321 _d52533
003			DE-He213
005			20231104114347.0
007			cr nn 008mamaa
008			150829s2015 gw | s |||| 0|eng d
020			_a9783319231112 _z978-3-319-23111-2
024	7		_a10.1007/978-3-319-23111-2 _2doi
040			_aTR-AnTOB _beng _cTR-AnTOB _erda
050		4	_aQA76.9.A43
072		7	_aUMB _2bicssc
072		7	_aCOM051300 _2bisacsh
072		7	_aUMB _2thema005.1 _223
245	1	0	_aMachines, Computations, and Universality : _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			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aTheoretical Computer Science and General Issues ; _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 software.
650		0	_aComputer science.
650		0	_aLogic design.
650		0	_aComputational complexity.
650	1	4	_aAlgorithm Analysis and Problem Complexity. _0http://scigraph.springernature.com/things/product-market-codes/I16021
650	2	4	_aComputation by Abstract Devices. _0http://scigraph.springernature.com/things/product-market-codes/I16013
650	2	4	_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048
650	2	4	_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X
650	2	4	_aDiscrete Mathematics in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17028
700	1		_aDurand-Lose, Jerome. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aNagy, Benedek. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
856	4	0	_uhttps://doi.org/10.1007/978-3-319-23111-2 _3Springer eBooks _zOnline access link to the resource
942			_2lcc _cEBK
041			_aeng