Treffer 1 – 6 von 6 für Suche 'Kahn, Gilles', Suchdauer: 0,03s 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
    Proof by pointing

    Proof by pointing von Bertot, Yves, Kahn, Gilles, Thry, Laurent

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proceedings of the 1990 ACM conference on LISP and functional programming

    Proceedings of the 1990 ACM conference on LISP and functional programming von Kahn, Gilles

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


    Gespeichert in:
  3. 3
    A preliminary theory for parallel programs

    A preliminary theory for parallel programs von Kahn, Gilles

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples

    Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples von Courcelle, Bruno, Kahn, Gilles, Vuillemin, Jean

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Functional programming languages and computer architecture Portland, Oregon, USA, September 14 - 16, 1987 ; proceedings

    Functional programming languages and computer architecture Portland, Oregon, USA, September 14 - 16, 1987 ; proceedings

    Veröffentlicht 1987
    Weitere Verfasser: “… Kahn, Gilles …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    From semantics to computer science essays in honour of Gilles Kahn

    From semantics to computer science essays in honour of Gilles Kahn

    Veröffentlicht 2009
    Weitere Verfasser: “… Kahn, Gilles …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: