Treffer 1 – 10 von 10 für Suche 'America, Pierre', 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
    A proof theory for process creation

    A proof theory for process creation von America, Pierre

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A layered semantics for a parallel object-oriented language

    A layered semantics for a parallel object-oriented language von America, Pierre, Rutten, Jan

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A parallel object-oriented language design and semantic foundations

    A parallel object-oriented language design and semantic foundations von America, Pierre, Rutten, Jan J.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Solving reflexive domain equations in a category of complete metric spaces

    Solving reflexive domain equations in a category of complete metric spaces von America, Pierre, Rutten, Jan J.

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A proof theory for a sequential version of POOL

    A proof theory for a sequential version of POOL von America, Pierre

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Designing equivalent semantic models for process creation

    Designing equivalent semantic models for process creation von America, Pierre, Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A parallel object-oriented language design and semantic foundations

    A parallel object-oriented language design and semantic foundations von America, Pierre H., Rutten, J. J. M. M.

    Veröffentlicht 1991
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A proof for process creation

    A proof for process creation von America, Pierre H., Boer, Frank S. de

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Proving total correctness of recursive procedures

    Proving total correctness of recursive procedures von America, Pierre, Boer, Frank S. de

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Proving total correctness of recursive procedures

    Proving total correctness of recursive procedures von America, Pierre

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: