Treffer 1 – 3 von 3 für Suche 'Culik, Karel', 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
    The omega-sequence equivalence problem for DOL systems is decidable

    The omega-sequence equivalence problem for DOL systems is decidable von Culik, Karel, Harju, Tero

    Veröffentlicht 1918
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Test sets for context free languages and algebraic systems of equations over a free monoid

    Test sets for context free languages and algebraic systems of equations over a free monoid von Albert, Jürgen, Culik, Karel, Karhumäki, Juhani 1949-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Systolic trellis automata (for VLSI)

    Systolic trellis automata (for VLSI) von Culik, Karel, Gruska, Jozef 1933-, Salomaa, Arto 1934-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: