01314cam2-22003251i-450-99000404599040332120080318130746.0000404599FED01000404599(Aleph)000404599FED0100040459919990604g19801984km-y0itay50------bagerDEy-------001yy<<Der >>christliche Glaubenach den Grundsätzen der evangelischen Kirche im Zusammenhange dargestellt (1821/22)Friedrich Daniel Ernst SchleiermacherBerlinde Gruyter1980-19843 v.24 cm1: hrsg. von Hermann Peiter2: hrsg. von Hermann Peiter3: Marginalien und Anhang / unter Verwendung vorbereitender Arbeiten von Hayo Gerdes und Hermann Peiter ; hrsg. von Ulrich Barth0010004045092001Kritische Gesamtausgabe1.7,1/3Friedrich Daniel Ernst SchleiermacherSchleiermacher,Friedrich Daniel Ernst<1768-1834>ITUNINARICAUNIMARCBK990004045990403321P.1 FG/T 15-1 (1/7,2)dip.fil.226/bFLFBCP.1 FG/T 15-1 (1/7,3)dip.fil.226/cFLFBCP.1 FG/T 15-1 (1/7,1)dip.fil.226/aFLFBCFLFBCChristliche Glaube468860UNINA01079cam2 22002893 450 SOB001680520161104101827.020040211d1991 |||||ita|0103 baitaIT3,1TeramoCassa di Risparmio della Provincia di Teramo1991412 p.ill.33 cm1 CD-ROMDocumenti dell'Abruzzo TeramanoIII, 1001LAEC000181182001 *Documenti dell'Abruzzo TeramanoIII, 1001SOBE000436532001 <<La >>Valle dell'Alto Vomano ed i Monti della Laga / di Francesco Aceto [et alii]001SOBE000537872000 Canti e musiche popolari del Teramano : brani 1 - 31Aceto, FrancescoA600200025418070ITUNISOB20161104RICAUNISOBUNISOB700110082SOB0016805M 102 Monografia moderna SBNW700003168-3,1SI110082ACQUISTObethbUNISOBUNISOB20140609162256.020161104101252.0bethb361479UNISOB05184nam 22007815 450 99646578130331620200701165015.03-540-45208-710.1007/b13810(CKB)1000000000212202(SSID)ssj0000327182(PQKBManifestationID)11231699(PQKBTitleCode)TC0000327182(PQKBWorkID)10301501(PQKB)10641748(DE-He213)978-3-540-45208-9(MiAaPQ)EBC3089094(PPN)155204955(EXLCZ)99100000000021220220121227d2003 u| 0engurnn|008mamaatxtccrTheoretical Computer Science[electronic resource] 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /edited by Carlo Blundo, Cosimo Laneve1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XII, 400 p.) Lecture Notes in Computer Science,0302-9743 ;2841Bibliographic Level Mode of Issuance: Monograph3-540-20216-1 Includes bibliographical references and index.Invited Talks -- Extreme Nash Equilibria -- Certification of Memory Usage -- On Programming Models for Mobility -- Program Design, Models and Analysis -- On the Computational Complexity of Cut-Elimination in Linear Logic -- A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics -- Finite Horizon Analysis of Stochastic Systems with the Mur? Verifier -- Towards Compact and Tractable Automaton-Based Representations of Time Granularities -- Lower Bounds on the Size of Quantum Automata Accepting Unary Languages -- Refined Effects for Unanticipated Object Re-classification: -- Algorithms and Complexity -- Cost Constrained Fixed Job Scheduling -- A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set -- An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality -- Channel Assignment in Honeycomb Networks -- Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks -- The Complexity of Checking Consistency of Pedigree Information and Related Problems -- On Clausal Equivalence and Hull Inclusion -- Semantics and Formal Languages -- Logical Semantics for the First Order ?-Calculus -- On the Expressive Power of Light Affine Logic -- Reasoning about Self and Others: Communicating Agents in a Modal Action Logic -- Decidability Properties of Recursive Types -- Algebraic Theories for Contextual Pre-nets -- A Coalgebraic Description of Web Interactions -- A Calculus for Dynamic Linking -- Towards a Smart Compilation Manager for Java -- Security and Cryptography -- Anonymous Group Communication in Mobile Networks -- Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences -- An Information-Theoretic Approach to the Access Control Problem -- Security-Aware Program Transformations -- Information Flow Security and Recursive Systems -- Compositional Verification of Secure Streamed Data: A Case Study with EMSS.Lecture Notes in Computer Science,0302-9743 ;2841ComputersData structures (Computer science)AlgorithmsComputer logicMathematical logicTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Data Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I15017Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computers.Data structures (Computer science).Algorithms.Computer logic.Mathematical logic.Theory of Computation.Computation by Abstract Devices.Data Structures.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.004Blundo Carloedthttp://id.loc.gov/vocabulary/relators/edtLaneve Cosimoedthttp://id.loc.gov/vocabulary/relators/edtICTCS 2003MiAaPQMiAaPQMiAaPQBOOK996465781303316Theoretical computer science104541UNISA00986nam2 22002773i 450 FER016273720231121125503.020181206d1932 ||||0itac50 bafrofrefrz01i xxxe z01n˜1: œVers 1-6804ParisE. Champion1932XXXVI, 207 p.19 cm˜Les œclassiques français du Moyen Age74001MIL00526162001 ˜Les œclassiques français du Moyen Age74001FER01627382001 Gui de Warewicroman du 13. siecleedite par Alfred Ewert1ITIT-0120181206IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 NFER0162737Biblioteca umanistica Giorgio Aprea 52MAG 1/638.1 52FLS0000095835 VMB RS B 2018120620181206 52Vers 1-68041435444UNICAS01205nam0 22002891i 450 UON0007706820231205102415.11620020107d1907 |0itac50 bafreFR|||| |||||ˆL'‰Afrique Centrale FrançaiseRécit du voyage de la Missionpar Auguste ChevalierParis : Challamel1907776 p., c. di tav.ill. ; 27 cmIn testa al front.: Mission Chari-Lac Tchad (1902-1904)data inesattaIT-UONSI B Afr4/0063AFRICA CENTRALEDescrizioni e viaggiUONC020103FIFRParisUONL002984916.704DESCRIZIONI E VIAGGI DELL'AFRICA CENTRALE21CHEVALIERAugusteUONV050507376504Challamel Augustin EditeurUONV248563650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00077068SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI B Afr 4 0063 SI MR 828 7 0063 data inesattaAfrique Centrale Française1162897UNIOR