Treffer 1 – 3 von 3 für Suche 'Ohsuga, Akihiko', 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
    An integration environment to put formal specifications into practical use in real-time systems

    An integration environment to put formal specifications into practical use in real-time systems von Honiden, Shinichi, Ohsuga, Akihiko, Uchihira, Naoshi

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Metis, a term rewriting system generator

    Metis, a term rewriting system generator von Ohsuga, Akihiko, Sakai, Ko

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Efficient implementation of basic narrowing

    Efficient implementation of basic narrowing von Ohsuga, Akihiko, Sakai, Ko

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: