Treffer 1 – 2 von 2 für Suche 'Arts, Thomas', Suchdauer: 0,02s 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
    Verifying a smart design of TCAP a synergetic experience

    Verifying a smart design of TCAP a synergetic experience von Arts, Thomas, Langevelde, Izak A. van

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystemen

    Automatically proving termination and innermost normalisation of term rewriting systems = Het automatisch bewijzen van terminatie en innermost normalisatie van termherschrijfsystem... von Arts, Thomas Henricus Johannes Joseph

    Veröffentlicht 1997
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: