03568nam 22008055 450 99646556620331620230329185509.03-642-31594-110.1007/978-3-642-31594-7(CKB)3400000000085377(SSID)ssj0000697449(PQKBManifestationID)11386072(PQKBTitleCode)TC0000697449(PQKBWorkID)10692332(PQKB)11582016(DE-He213)978-3-642-31594-7(MiAaPQ)EBC3070136(PPN)168319802(EXLCZ)99340000000008537720120622d2012 u| 0engurnn#008mamaatxtccrAutomata, Languages, and Programming[electronic resource] 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I /edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (860 p. 64 illus.)Theoretical Computer Science and General Issues,2512-2029 ;7391International conference proceedings.3-642-31593-3 Includes bibliographical references and author index.This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.Theoretical Computer Science and General Issues,2512-2029 ;7391AlgorithmsComputer scienceComputer networksInformation storage and retrieval systemsApplication softwareComputer science—MathematicsDiscrete mathematicsAlgorithmsTheory of ComputationComputer Communication NetworksInformation Storage and RetrievalComputer and Information Systems ApplicationsDiscrete Mathematics in Computer ScienceAlgorithms.Computer science.Computer networks.Information storage and retrieval systems.Application software.Computer science—Mathematics.Discrete mathematics.Algorithms.Theory of Computation.Computer Communication Networks.Information Storage and Retrieval.Computer and Information Systems Applications.Discrete Mathematics in Computer Science.005.1Czumaj Arturedthttp://id.loc.gov/vocabulary/relators/edtMehlhorn Kurtedthttp://id.loc.gov/vocabulary/relators/edtPitts Andrewedthttp://id.loc.gov/vocabulary/relators/edtWattenhofer Rogeredthttp://id.loc.gov/vocabulary/relators/edtBOOK996465566203316Automata, languages and programming339738UNISA01359nam0 22002891i 450 UON0045150220231205105043.45988-209-2274-620150310d1996 |0itac50 baitaIT|||| 1||||ˆIl ‰Vangelo di Marco nella colonna latina del Bezae Codex Cantabrigiensisnote di commento sulla struttura letteraria, la punteggiatura, le lezioni e le citazioni biblicheA cura di Antonio AmmassariCittà del VaticanoLibreria Editrice Vaticana1996156 p.24 cm.BIBBIANuovo TestamentoVangelo Secondo MarcoUONC045310FIVACittà del VaticanoUONL003947226.3Bibbia. Nuovo Testamento. Vangelo secondo Marco21AmmassariAntonioUONV0233990Libreria Editrice VaticanaUONV260377650AMASALI, AndongnioAmmassari, AntonioUONV023400ITSOL20250307RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00451502SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI BIBBIA NT 0318 SI 13117 7 0318 Vangelo di Marco nella colonna latina del Bezae Codex Cantabrigiensis1330148UNIOR01448nam0 22003371i 450 UON0032354920231205104150.502978-88-89604-45-820090511d2008 |0itac50 baitaIT|||| |||||DerridabaseGeoffrey BenningtonCirconfessionecinquantanove periodi e perifrasi scritti in una sorta di margine interno, tra il libro di Geoffrey Bennington e un'opera in preparazione (gennaio 1989-aprile 1990)Jacques DerridaRoma : Lithosstampa 2008302 p.21 cmTit. orig.: Jacques DerridaTit. originaleUON00378475001UON003267982001 Filosofia. Testi210 RomaLithos.3UON00378474CirconfessioneUON00378475Jacques Derrida1135045ITRomaUONL000004194Filosofia occidentale moderna. Francia21BENNINGTONGeoffreyUONV186255615203DerridaJacquesUONV116441139765LithosUONV267814650ITSOL20250523RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00323549SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI FS 2.0 0721 SI FP 21190 5 0721 BuonoJacques Derrida1135045UNIOR