LEADER 01132nam--2200361---450- 001 990001667610203316 005 20060411133033.0 010 $a88-343-1224-4 035 $a000166761 035 $aUSA01000166761 035 $a(ALEPH)000166761USA01 035 $a000166761 100 $a20040517h2005----km-y0itaa50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $a<> viaggio dell'innovazione$einformatica, beni culturali e turismo$fFrancesca Ricciardi 210 $aMilano$cVita e pensiero$dcopyr. 2005 215 $a172 p.$d21 cm 225 2 $aScienze del turismo$iContributi 410 0$12001$aScienze del turismo$iContributi 606 0 $aElaboratori elettronici$xImpiego nel turismo 676 $a338.47910285 700 1$aRICCIARDI,$bFrancesca$0498709 801 0$aIT$bsalbc$gISBD 912 $a990001667610203316 951 $aIV.1. 875(XV i 565)$b188218 L.M.$cXV i$d00179033 959 $aBK 969 $aUMA 979 $aMARIA$b10$c20040517$lUSA01$h1112 979 $aANNAMARIA$b90$c20060411$lUSA01$h1330 996 $aViaggio dell'innovazione$9941970 997 $aUNISA LEADER 04618nam 22007935 450 001 9910484146803321 005 20251226200253.0 010 $a3-319-09704-0 024 7 $a10.1007/978-3-319-09704-6 035 $a(CKB)3710000000219435 035 $a(SSID)ssj0001296383 035 $a(PQKBManifestationID)11716431 035 $a(PQKBTitleCode)TC0001296383 035 $a(PQKBWorkID)11347592 035 $a(PQKB)10625751 035 $a(DE-He213)978-3-319-09704-6 035 $a(MiAaPQ)EBC6285658 035 $a(MiAaPQ)EBC5587391 035 $a(Au-PeEL)EBL5587391 035 $a(OCoLC)884434842 035 $a(PPN)179925970 035 $a(EXLCZ)993710000000219435 100 $a20140711d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDescriptional Complexity of Formal Systems $e16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings /$fedited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XII, 366 p. 59 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8614 300 $aIncludes index. 311 08$a3-319-09703-2 327 $aAutomata, grammars, languages and other formal systems -- Various modes of operation and complexity measures -- Trade-offs between computational models and modes of operation -- Succinctness of description of objects, state explosion-like phenomena -- Circuit complexity of Boolean functions and related measures -- Resource-bounded or structure-bounded environments -- Frontiers between decidability and undecidability -- Universality and reversibility -- Structural complexity -- Formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages) -- Nature-motivated (bio-inspired) architectures and unconventional models of computing -- Complexity aspects of combinatorics on words -- Kolmogorov complexity. 330 $aThis book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs between computational models and modes of operation; succinctness of description of objects, state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; complexity aspects of combinatorics on words; Kolmogorov complexity. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8614 606 $aComputer science 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 606 $aDiscrete Mathematics in Computer Science 615 0$aComputer science. 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 615 24$aDiscrete Mathematics in Computer Science. 676 $a004.0151 702 $aJürgensen$b Helmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKarhumäki$b Juhani$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOkhotin$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484146803321 996 $aDescriptional Complexity of Formal Systems$91904989 997 $aUNINA