Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /

This 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 2...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Durand-Lose, Jerome (Editor), Nagy, Benedek (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Lecture Notes in Computer Science,
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-319-23111-2
Перейти в каталог НБ ТГУ
LEADER 02994nam a22005775i 4500
001 vtls000560703
003 RU-ToGU
005 20210922090224.0
007 cr nn 008mamaa
008 170212s2015 gw | s |||| 0|eng d
020 |a 9783319231112  |9 978-3-319-23111-2 
024 7 |a 10.1007/978-3-319-23111-2  |2 doi 
035 |a to000560703 
039 9 |y 201702122348  |z Александр Эльверович Гилязов 
040 |a Springer  |c Springer  |d RU-ToGU 
050 4 |a QA76.9.A43 
072 7 |a UMB  |2 bicssc 
072 7 |a COM051300  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Machines, Computations, and Universality  |h electronic resource  |b 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /  |c edited by Jerome Durand-Lose, Benedek Nagy. 
250 |a 1st ed. 2015. 
260 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2015.  |9 742221 
300 |a XX, 199 p. 41 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 9288 
520 |a This 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 |a Computer Science.  |9 155490 
650 0 |a computers.  |9 460101 
650 0 |a Algorithms.  |9 304813 
650 0 |a Computer logic.  |9 463252 
650 0 |a Mathematical logic.  |9 461383 
650 0 |a Computer science  |x Mathematics.  |9 304486 
650 1 4 |a Computer Science.  |9 155490 
650 2 4 |a Algorithm Analysis and Problem Complexity.  |9 303732 
650 2 4 |a Computation by Abstract Devices.  |9 305111 
650 2 4 |a Mathematical Logic and Formal Languages.  |9 303363 
650 2 4 |a Logics and Meanings of Programs.  |9 306257 
650 2 4 |a Discrete Mathematics in Computer Science.  |9 304816 
700 1 |a Durand-Lose, Jerome.  |e editor.  |9 329957 
700 1 |a Nagy, Benedek.  |e editor.  |9 467504 
710 2 |a SpringerLink (Online service)  |9 143950 
773 0 |t Springer eBooks 
830 0 |a Lecture Notes in Computer Science,  |9 279505 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-23111-2 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=415191 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645) 
999 |c 415191  |d 415191