03487nam 22007455 450 99646554250331620230406013458.03-642-22006-110.1007/978-3-642-22006-7(CKB)2670000000095930(SSID)ssj0000530724(PQKBManifestationID)11323990(PQKBTitleCode)TC0000530724(PQKBWorkID)10568350(PQKB)10049195(DE-He213)978-3-642-22006-7(MiAaPQ)EBC3066863(PPN)153860537(EXLCZ)99267000000009593020110620d2011 u| 0engurnn#008mamaatxtccrAutomata, Languages and Programming[electronic resource] 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I /edited by Luca Aceto, Monika Henzinger, Jiří Sgall1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XXIV, 802 p. 59 illus., 8 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;6755Bibliographic Level Mode of Issuance: Monograph3-642-22005-3 Includes bibliographical references and index.The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.Theoretical Computer Science and General Issues,2512-2029 ;6755AlgorithmsComputer scienceComputer networksInformation storage and retrieval systemsComputer science—MathematicsDiscrete mathematicsAlgorithmsTheory of ComputationComputer Communication NetworksInformation Storage and RetrievalDiscrete Mathematics in Computer ScienceAlgorithms.Computer science.Computer networks.Information storage and retrieval systems.Computer science—Mathematics.Discrete mathematics.Algorithms.Theory of Computation.Computer Communication Networks.Information Storage and Retrieval.Discrete Mathematics in Computer Science.005.1Aceto Lucaedthttp://id.loc.gov/vocabulary/relators/edtHenzinger Monikaedthttp://id.loc.gov/vocabulary/relators/edtSgall Jiříedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465542503316Automata, languages and programming339738UNISA00964nam a22002651i 450099100058019970753620041004175245.0041108s1985 it a||||||||||||||||ita 8870630358b13241862-39ule_instARCHE-117341ExLDip.to Studi StoriciitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.780.92Fabbri, Paolo<1948->321688Monteverdi /Paolo FabbriTorino :EDT musica,[1985]IX, 460 p. :ill., 1 ritr. ;23 cmBiblioteca di cultura musicale.Autori e opereMonteverdi, ClaudioOpere.b1324186202-04-1412-11-04991000580199707536LE019 M 9212019000071611le019C. 1-E0.00-l- 05150.i1393099012-11-04Monteverdi775136UNISALENTOle01912-11-04ma -itait 0100919nam a2200241 i 450099100180654970753620020503153810.0010315s1968 it ||| | ita b1027554x-39ule_instEXGIL91800ExLBiblioteca Interfacoltàita355Cerrito, Gino173751L'antimilitarismo anarchico in Italia nel primo ventennio del secolo /Gino CerritoPistoia :RL,196866 p. ;21 cm.Antimilitarismo anarchicoItaliaSec. 20..b1027554x02-04-1427-06-02991001806549707536LE002 Busta A 34 612002000763556le002-E0.00-l- 00000.i1032760527-06-02Antimilitarismo anarchico in Italia nel primo ventennio del secolo210699UNISALENTOle00201-01-01ma -itait 21