Search Results - "Interpreting"

Refine Results
  1. 1561
  2. 1562
  3. 1563

    Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

    Published 2023
    Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
    Link to Metadata
    Electronic eBook
  4. 1564

    XcalableMP PGAS Programming Language From Programming Model to Applications /

    Published 2021
    Subjects: “…Compilers and Interpreters.…”
    Link to Metadata
    Electronic eBook
  5. 1565

    Eva - A Novel by Carry van Bruggen Translated and with a Commentary by Jane Fenoulhet by Bruggen, Carry van

    Published 2019
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  6. 1566
  7. 1567

    Traduire les philosophes by Olivier Bloch

    Published 2000
    Subjects: “…interprétation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  8. 1568

    Informatica umanistica Risorse e strumenti per lo studio del lessico dei beni culturali

    Published 2017
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  9. 1569

    Teoria e ricerca sull'apprendimento del tedesco L2 Manuale per insegnanti in formazione by Ballestracci, Sabrina

    Published 2017
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  10. 1570

    Le droit, l'informatique et l'arbitraire

    Published 1991
    Subjects: “…interprétation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  11. 1571

    La traducción inversa y su didáctica con soporte lexicográfico by Peñín Fernández, Natalia

    Published 2023
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  12. 1572
  13. 1573

    Informatica umanistica Risorse e strumenti per lo studio del lessico dei beni culturali

    Published 2017
    Subjects: “…Translation & interpretation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  14. 1574

    Übersetzen in der Frühen Neuzeit - Konzepte und Methoden / Concepts and Practices of Translation in the Early Modern Period

    Published 2021
    Subjects: “…Translating and interpreting.…”
    Link to Metadata
    Electronic eBook
  15. 1575

    Chapter 1 Media and translation Historical intersections by O'Connor, Anne

    Published 2022
    Subjects: “…Alternative Media Forms, audiovisual translation, Esperança Bielsa, Fansubbing, Journalism and translation ethics, Localization, Media and translation, Media asymmetries and translation, Media Interpreting, Media translation and politics.…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  16. 1576

    Chapter 1 Media and translation Historical intersections by O'Connor, Anne

    Published 2022
    Subjects: “…Alternative Media Forms, audiovisual translation, Esperança Bielsa, Fansubbing, Journalism and translation ethics, Localization, Media and translation, Media asymmetries and translation, Media Interpreting, Media translation and politics.…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  17. 1577
  18. 1578
  19. 1579
  20. 1580