LEADER 03378nam  22007695  450 
001 9910484777803321
005 20230329144322.0
010   $a3-319-55911-7
024 7 $a10.1007/978-3-319-55911-7
035   $a(CKB)3710000001157255
035   $a(DE-He213)978-3-319-55911-7
035   $a(MiAaPQ)EBC5576975
035   $a(PPN)200512412
035   $a(EXLCZ)993710000001157255
100   $a20170320d2017      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTheory and Applications of Models of Computation $e14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /$fedited by T.V. Gopal, Gerhard Jäger, Silvia Steila
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XXVI, 698 p. 80 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10185
311   $a3-319-55910-9 
320   $aIncludes bibliographical references and index.
327   $aComputability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory.
330   $aThis book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10185
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aAlgorithms
606   $aComputer science
606   $aData structures (Computer science)
606   $aInformation theory
606   $aArtificial intelligence
606   $aFormal Languages and Automata Theory
606   $aMathematics of Computing
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aData Structures and Information Theory
606   $aArtificial Intelligence
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aData structures (Computer science).
615  0$aInformation theory.
615  0$aArtificial intelligence.
615 14$aFormal Languages and Automata Theory.
615 24$aMathematics of Computing.
615 24$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aData Structures and Information Theory.
615 24$aArtificial Intelligence.
676   $a004.0151
702   $aGopal$b T.V$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJäger$b Gerhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSteila$b Silvia$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484777803321
996   $aTheory and Applications of Models of Computation$9772738
997   $aUNINA