Search Results - "Isabelle"

  • Showing 1 - 10 results of 10
Refine Results
  1. 1

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

    Published 2016
    Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  2. 2
  3. 3
  4. 4

    Att göra klass Nedslag i svensk samtidsprosa by Arping, Åsa

    Published 2022
    Subjects: “…Isabelle Ståhl…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 5

    Att göra klass Nedslag i svensk samtidsprosa by Arping, Åsa

    Published 2022
    Subjects: “…Isabelle Ståhl…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  6. 6
  7. 7

    The Anthropocene and the Global Environmental Crisis Rethinking modernity in a new epoch

    Published 2015
    Subjects: “…Alf Hornborg;Biodiversity;Bronislaw Szerszynski;Bruno Latour;Christophe Bonneuil;Climate Change;Conservation;Dipesh Chakrabarty;ENVIRONMENTAL REFLEXIVITY;Environmental economics;Environmental policy;Environmental studies;François Gemenne;Hornborg;Ingolfur Blühdorn;Isabelle Stengers;Jean-Baptiste Fressoz;Luc Semal;Michael Northcott;meta-narrative;nature;Sustainability;Sustainable development;Virginie Maris;Yves Cochet…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  8. 8

    China's Global Political Economy Managerial Perspectives

    Published 2018
    Subjects: “…Isabelle Barth…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  9. 9

    China's Global Political Economy Managerial Perspectives

    Published 2018
    Subjects: “…Isabelle Barth…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  10. 10

    Women Writing Intimate Spaces The Long Nineteenth Century at the Fringes of Europe

    Published 2022
    Subjects: “…Isabelle de Charrière…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter