Search Results - "interpret"

Refine Results
  1. 1981
  2. 1982
  3. 1983

    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
  4. 1984

    Cornelius Nepos, Life of Hannibal Latin Text, Notes, Maps, Illustrations and Vocabulary by Mulligan, Bret

    Published 2015
    Subjects: “…Translation & interpretation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  5. 1985

    Redefining Russian Literary Diaspora, 1920-2020

    Published 2021
    Subjects: “…Translation & interpretation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  6. 1986

    Epidicus by Plautus An Annotated Latin Text, with a Prose Translation by Tracy, Catherine

    Published 2021
    Subjects: “…Translation & interpretation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  7. 1987
  8. 1988

    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
  9. 1989
  10. 1990

    Feminist Activism, Travel and Translation Around 1900 Transnational Practices of Mediation and the Case of Käthe Schirmacher / by Gehmacher, Johanna

    Published 2024
    Table of Contents: “…-- Chapter 5: Letters from Paris: Letters from Germany -- Chapter 6: Trans/national Encounters: Winter Travels Through Europe -- Chapter 7: 'The Modern Women's Rights Movement' -- Chapter 8: 'As Interpreter for This Convention, I Feel That I Must Not Continue My Office': London 1909 -- Chapter 9: 'Suffragettes in Germany': Translating Militancy -- Chapter 10: When Translation Ends.…”
    Link to Metadata
    Electronic eBook
  11. 1991

    Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

    Published 2018
    Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
    Link to Metadata
    Electronic eBook
  12. 1992

    Chapter 2 Educational bases of didactic AVT in FLE by TALAVAN, NOA

    Published 2024
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  13. 1993

    Chapter 5 Didactic audio description and didactic free commentary by TALAVAN, NOA

    Published 2024
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  14. 1994

    Didactic Audiovisual Translation and Foreign Language Education by TALAVAN, NOA

    Published 2024
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: description of the publication
    Electronic Book Chapter
  15. 1995

    The Oracle Bone Inscriptions from Huayuanzhuang East by Schwartz, Adam C.

    Published 2020
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  16. 1996
  17. 1997

    Life, Courage, Ice A Semiological Essay on the Old Russian Biography of Aleksandr Nevskij by Waszink, Paul M.

    Published 1990
    Subjects: “…interpretation of art and literature…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  18. 1998
  19. 1999

    Words as Events: Cretan Mandinádes in Performance and Composition by Sykäri, Venla

    Published 2011
    Subjects: “…interpretation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 2000

    Georges Baudoux's Jean M'Barai The Trepang Fisherman by Speedy, Karin

    Published 2015
    Subjects: “…Translation & interpretation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter