Mostrando 23,721 - 23,740 Resultados de 27,673 Para Buscar 'PMDB~', tiempo de consulta: 0.95s Limitar resultados
  1. 23721
  2. 23722
  3. 23723
  4. 23724
  5. 23725
    Libro
  6. 23726
    por Ska, Jean Louis, 1946-
    Publicado 2005
    Libro
  7. 23727
  8. 23728
  9. 23729
  10. 23730
    Tabla de Contenidos: “…. ; traduxola en latin el Padre Laurencio Surio ; y en castellano de el aleman el Señor D. …”
    Libro
  11. 23731
    por Miró, Gabriel, 1879-1930
    Publicado 2006
    Tabla de Contenidos: “…El ángel, el molino, el caracol del faro ; Nuestro Padre San Daniel ; El obispo leproso ; Libro de Sigüenza ; Años y leguas…”
    Libro
  12. 23732
    Publicado 1930
    Libro
  13. 23733
  14. 23734
    “…Obras Lingüísticas del Padre Sarmiento / Fundación Pedro Barrié de la Maza, Conde de Fenosa…”
    Libro
  15. 23735
    “…Obras Lingüísticas del Padre Sarmiento / Fundación Pedro Barrié de la Maza, Conde de Fenosa…”
    Libro
  16. 23736
    “…Biblioteca de autores cristianos. Sección III, Santos Padres ; 141, 146. Obras de San Juan Crisóstomo ; 1-2…”
    Libro
  17. 23737
    Publicado 2007
    “…La Biblia Comentada por los Padres de la Iglesia y otros autores de epoca patristica. …”
    Libro
  18. 23738
    por Tort i Arnau, Rosa
    Publicado 1988
    “…Col·lecció anem amb la Clara i en Daniel…”
    Libro
  19. 23739
    por Weirich, Stephanie
    Publicado 2024
    Tabla de Contenidos: “…Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping -- Verification -- A Denotational Approach to Release/Acquire Concurrency -- Intel PMDK Transactions: Specification, Validation and Concurrency -- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake -- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages -- Higher-Order LCTRSs andTheir Termination -- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture -- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation -- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law …”
    Libro electrónico
  20. 23740
    Publicado 2017
    Tabla de Contenidos: “…Conté: Dalla conversione del cuore alle opere della misericordia / Joao Braz de Aviz -- Francesco di Paola volto umano della misericordia di Dio / Giuseppe Fiorini Morosini -- Il concetto biblico-teologico dell'espiazione di Cristo / Giuseppe Pulcinelli -- Conversione del cuore e penitenza evangelica / Cettina Militello -- La conversione sorgente di opere della misericordia / Cataldo Zuccaro -- L'ascesi in alcuni momenti e forme dells spiritualità cristiana / Leonardo Messinese -- Il carisma della penitenza evangelica nella società civile / Gabriella Tomai -- Gesù di Nazareth, incarnazione della misericordia del Padre / Giuseppe Lorizio…”
    991007175599706719