Treffer 1 – 5 von 5 für Suche 'Lévy, Jean-Jacques', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Call by need computations in non-ambiguous linear term rewriting systems

    Call by need computations in non-ambiguous linear term rewriting systems von Huet, Gérard 1947-, Lévy, Jean-Jacques

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Introduction to the theory of programming languages

    Introduction to the theory of programming languages von Dowek, Gilles 1966-, Lévy, Jean-Jacques

    Veröffentlicht 2011
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Introduction to the Theory of Programming Languages

    Introduction to the Theory of Programming Languages von Dowek, Gilles 1966-, Lévy, Jean-Jacques

    Veröffentlicht 2011
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Minimal and optimal computations of recursive programs

    Minimal and optimal computations of recursive programs von Berry, Gérard, Lévy, Jean-Jacques

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France

    Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 To...

    Veröffentlicht 2004
    Weitere Verfasser: “… Lévy, Jean-Jacques …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: