LEADER 04686nam 22008655 450 001 996198744203316 005 20230221184244.0 010 $a3-319-15579-2 024 7 $a10.1007/978-3-319-15579-1 035 $a(CKB)3710000000360321 035 $a(SSID)ssj0001452222 035 $a(PQKBManifestationID)11834526 035 $a(PQKBTitleCode)TC0001452222 035 $a(PQKBWorkID)11479688 035 $a(PQKB)11157777 035 $a(DE-He213)978-3-319-15579-1 035 $a(MiAaPQ)EBC6298328 035 $a(MiAaPQ)EBC5576740 035 $a(Au-PeEL)EBL5576740 035 $a(OCoLC)904398329 035 $a(PPN)18449740X 035 $a(EXLCZ)993710000000360321 100 $a20150223d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLanguage and Automata Theory and Applications$b[electronic resource] $e9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /$fedited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XV, 754 p. 140 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8977 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-15578-4 320 $aIncludes bibliographical references and index. 327 $aAlgorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata. 330 $aThis book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured data mining, algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata networks, concurrency and Petri nets; automatic structures; cellular automata, codes, combinatorics on words; computational complexity; data and image compression; descriptional complexity; digital libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parallel and regulated rewriting; parsing; patterns; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8977 606 $aComputer science 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aSymbolic and Algebraic Manipulation 606 $aDiscrete Mathematics in Computer Science 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aArtificial Intelligence. 676 $a004 702 $aDediu$b Adrian-Horia$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFormenti$b Enrico$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMartín-Vide$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTruthe$b Bianca$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996198744203316 996 $aLanguage and Automata Theory and Applications$9774044 997 $aUNISA LEADER 01514nam0 22003853i 450 001 SBL0089874 005 20231121125814.0 020 $aIT$b6910409 100 $a20130520d1969 ||||0itac50 ba 101 | $aita$ceng 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜Il œmessia negro$fAlbert B. Cleage 210 $aBari$cLaterza$dstampa 1969 215 $aXVI, 268 p.$d18 cm 225 | $aTempi nuovi$v27 300 $aTrad. S. Calamandrei. 410 0$1001CFI0027085$12001 $aTempi nuovi$v27 500 10$a˜The œBlack Messiah$3SBL0089875$9SBLV053496$92806048 606 $aNegri$xStati Uniti d'America$2FIR$3RMLC263902$9I 676 $a261.8730904$9Cristianesimo e problemi socioeconomici. Guerra e pace. 20. secolo 1900-1999$v20 676 $a301.45$9SOCIOLOGIA. MINORANZE$v20 700 1$aCleage$b, Albert B.$3SBLV053496$4070$0484976 702 1$aCalamandrei$b, Silvia$3CFIV102502 790 1$aCalamandrei Grillenzoni$b, Silvia$3MILV209517$zCalamandrei, Silvia 790 1$aCleage$b, Albert$3UTOV540214$zCleage, Albert B. 801 3$aIT$bIT-01$c20130520 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aSBL0089874 950 0$aBiblioteca umanistica Giorgio Aprea$d 52DES 261 Cle.Mes.$e 52SBA0000184035 VMB RS Donazione Enzo Santarelli$fA $h20150513$i20150513 977 $a 52 996 $aBlack Messiah$92806048 997 $aUNICAS