Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
395 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

395 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Workshop on Chaos and Complexity: Torino, Oct. 5 - 11, 1987
    ed.: R. Livi ....
    Singapore [u.a.]: World Scientific, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Implementation and application of automata: 6th International Conference ; revised papers
    CIAA 2001, Pretoria, South Africa, July 23 - 25, 2001. Bruce W. Watson ... (eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Developments in language theory: 8th international conference ; proceedings
    DLT 2004, Auckland, New Zealand, December 13 - 17, 2004. [Cristian S. Calude ... (eds.)]
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  4. Detailansicht für Treffer 44 öffnen
    Formal languages
    Arto Salomaa
    New York [u.a.]: Academic Press, 1973
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    Term rewriting and applications: 16th international conference ; proceedings
    RTA 2005, Nara, Japan, April 19 - 21, 2005. Jürgen Giesl (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    Sequential machines and automata theory
    Taylor L. Booth
    New York [u.a.]: Wiley, 1967
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Foundations of software science and computation structures: 4th international conference ; proceedings
    FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001. Furio Honsell ... (eds.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    New topics in learning automata theory and applications
    N. Baba
    Berlin [u.a.]: Springer, 1985
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Compiler construction: 11th international conference ; proceedings
    CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. R. Nigel Horspool (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    Endliche stochastische Automaten
    von Karl Heinz Böhling und Gisbert Dittrich
    Mannheim [u.a.]: Bibliogr. Inst, 1972
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 51 öffnen
    Über die Darstellung von CCS-Programmen durch Petrinetze
    Goltz, Ursula
    München [u.a.]: Oldenbourg, 1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    Noncommutative rational series with applications
    Jean Berstel ; Christophe Reutenauer
    New York: Cambridge Univ. Press, 2011
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 53 öffnen
    Formal models and semantics
    ed. by Jan van Leeuwen
    Amsterdam [u.a.]: Elsevier [u.a.], 1990
    Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Computers and languages: theory and practice
    Anton Nijholt
    Amsterdam [u.a.]: North-Holland [Publ. Co.], 1988
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Practical formal methods for hardware design
    C. Delgado Kloos ... (ed.)
    Berlin [u.a.]: Springer, 1997
    Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 56 öffnen
    Berechnungstheorie für Informatiker: mit 34 Übungsaufgaben
    von Erwin Engeler und Peter Läuchli
    Stuttgart: Teubner, 1988
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 57 öffnen
    Automatentheorie und formale Sprachen, 1. Turingmaschinen und rekursive Funktionen : Vorlesung im Wintersemester 1966 an der Universität des Saarlandes in Saarbrücken / von Günter Hotz. Ausgearb. von Hermann Walter: Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken
    von Günter Hotz. Ausgearb. von Hermann Walter
    Mannheim [u.a.]: Bibliogr. Inst, 1968
    Monographie, Teil eines Werkes, keine Angabe
  18. Detailansicht für Treffer 58 öffnen
    Automatentheorie und formale Sprachen, 3. Formale Sprachen : nach einer Vorlesung von G. Hotz im Wintersemester 1966/67 an der Universität des Saarlandes / von Günter Hotz und Volker Claus: Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken
    von Günter Hotz. Ausgearb. von Hermann Walter
    Mannheim [u.a.]: Bibliogr. Inst, 1972
    Monographie, Teil eines Werkes, Gedruckte Ressource
  19. Detailansicht für Treffer 59 öffnen
    Computational logic in multi-agent systems: 7th international workshop ; revised selected and invited papers
    CLIMA VII, Hakodate, Japan, May 8 - 9, 2006. Katsumi Inoue ... (eds.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 60 öffnen
    Algebraische Eigenschaften linearer Automaten
    Klaus Ecker
    Als Ms. gedr.. - St. Augustin: Ges. für Mathematik u. Datenverarbeitung, 1974
    Monographie, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -