000780905 000__ 02951cam\a2200577Ii\4500
000780905 001__ 780905
000780905 005__ 20230306143206.0
000780905 006__ m\\\\\o\\d\\\\\\\\
000780905 007__ cr\nn\nnnunnun
000780905 008__ 170419s2017\\\\sz\a\\\\ob\\\\101\0\eng\d
000780905 019__ $$a984854433
000780905 020__ $$a9783319559117$$q(electronic book)
000780905 020__ $$a3319559117$$q(electronic book)
000780905 020__ $$z9783319559100
000780905 0247_ $$a10.1007/978-3-319-55911-7$$2doi
000780905 035__ $$aSP(OCoLC)ocn982737086
000780905 035__ $$aSP(OCoLC)982737086$$z(OCoLC)984854433
000780905 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCF$$dOCLCO$$dAZU$$dUAB
000780905 049__ $$aISEA
000780905 050_4 $$aQA76.9.M35$$bT35 2017eb
000780905 08204 $$a004.01/51$$223
000780905 1112_ $$aTAMC (Conference)$$n(14th :$$d2017 :$$cBern, Switzerland)
000780905 24510 $$aTheory and applications of models of computation :$$b14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /$$cT.V. Gopal, Gerhard Jäger, Silvia Steila (eds.).
000780905 2463_ $$aTAMC 2017
000780905 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000780905 300__ $$a1 online resource (xxvi, 698 pages) :$$billustrations.
000780905 336__ $$atext$$btxt$$2rdacontent
000780905 337__ $$acomputer$$bc$$2rdamedia
000780905 338__ $$aonline resource$$bcr$$2rdacarrier
000780905 347__ $$atext file$$bPDF$$2rda
000780905 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10185
000780905 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000780905 500__ $$aInternational conference proceedings.
000780905 504__ $$aIncludes bibliographical references and author index.
000780905 5050_ $$aComputability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory.
000780905 506__ $$aAccess limited to authorized users.
000780905 520__ $$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.
000780905 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 19, 2017).
000780905 650_0 $$aComputer science$$xMathematics$$vCongresses.
000780905 650_0 $$aComputational complexity$$vCongresses.
000780905 650_0 $$aTuring machines$$vCongresses.
000780905 7001_ $$aGopal, T. V.,$$eeditor.
000780905 7001_ $$aJäger, Gerhard,$$cDr.,$$eeditor.
000780905 7001_ $$aSteila, Silvia,$$eeditor.
000780905 77608 $$iPrint version:$$z9783319559100
000780905 830_0 $$aLecture notes in computer science ;$$v10185.$$x0302-9743
000780905 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000780905 852__ $$bebk
000780905 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-55911-7$$zOnline Access$$91397441.1
000780905 909CO $$ooai:library.usi.edu:780905$$pGLOBAL_SET
000780905 980__ $$aEBOOK
000780905 980__ $$aBIB
000780905 982__ $$aEbook
000780905 983__ $$aOnline
000780905 994__ $$a92$$bISE