Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Sprache 29 Treffer
- Komplexitätstheorie 8 Treffer
- Automat 7 Treffer
- Programmiersprache 6 Treffer
- Berechenbarkeit 5 Treffer
-
44 weitere Werte:
- Endlicher Automat 5 Treffer
- Theoretische Informatik 5 Treffer
- Datenverarbeitung 4 Treffer
- Sprache 4 Treffer
- Fuzzy-Logik 3 Treffer
- Algorithmus 2 Treffer
- Automat (Automatentheorie) 2 Treffer
- Computer 2 Treffer
- Fairness (Informatik) 2 Treffer
- Halbgruppe 2 Treffer
- Programmierung 2 Treffer
- Schaltwerk 2 Treffer
- Theorie 2 Treffer
- Abstrakter Automat 1 Treffer
- Algebra 1 Treffer
- Automat / Lineare Realisierung 1 Treffer
- Berechnungskomplexität 1 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- Entscheidungsproblem 1 Treffer
- Funktor 1 Treffer
- Fuzzy-Logik / Automatentheorie 1 Treffer
- Fuzzy-Menge 1 Treffer
- Graphentheorie 1 Treffer
- Group theory 1 Treffer
- Gruppentheorie 1 Treffer
- Halbring 1 Treffer
- Informatik 1 Treffer
- Kategorientheorie 1 Treffer
- Kellerautomat 1 Treffer
- Kombinatorik 1 Treffer
- Linearer Automat 1 Treffer
- Machine theory 1 Treffer
- Mathematische Logik 1 Treffer
- Mengenlehre 1 Treffer
- Modell 1 Treffer
- Nebenläufigkeit 1 Treffer
- Nervennetz 1 Treffer
- Parallelverarbeitung 1 Treffer
- Potenzreihe 1 Treffer
- Programm 1 Treffer
- Prozessalgebra 1 Treffer
- Sequenzielle Logik 1 Treffer
- Stochastischer Prozess 1 Treffer
- Verifikation 1 Treffer
Sprache
Form
Person
- Hopcroft, John E. (1939-) 8 Treffer
- Ullman, Jeffrey D. (1942-) 8 Treffer
- Eilenberg, Samuel (1913-1998) 3 Treffer
- Tilson, Bret (-2005) 3 Treffer
- Hackl, Clemens 2 Treffer
-
45 weitere Werte:
- Herschel, Rudolf 2 Treffer
- Kuich, Werner 2 Treffer
- Pin, Jean Éric 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
- Sander, Peter 2 Treffer
- Shields, Michael William (1950-) 2 Treffer
- Stucky, Wolffried (1939-) 2 Treffer
- Adámek, Jiří (1947-) 1 Treffer
- Ajzerman, Mark A. (1913-1992) 1 Treffer
- Aleksander, Igor 1 Treffer
- Arbib, Michael A. (1940-) 1 Treffer
- Barzdin', Jan Martynovič 1 Treffer
- Bavel, Zamir 1 Treffer
- Bochmann, Dieter 1 Treffer
- Boldt, Oliver 1 Treffer
- Booth, Taylor L. (1933-) 1 Treffer
- Brauer, Wilfried 1 Treffer
- Braunmühl, Burchard von (1941-) 1 Treffer
- Brookshear, J. Glenn 1 Treffer
- Bucher, Walter 1 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- Calude, Cristian (1952-) 1 Treffer
- Champarnaud, Jean-Marc 1 Treffer
- Codd, Edgar F. (1923-2003) 1 Treffer
- Dassow, Jürgen 1 Treffer
- Denning, Peter J. (1942-) 1 Treffer
- Dennis, Jack B. 1 Treffer
- Deussen, Peter 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Estenfeld, Klaus 1 Treffer
- Ginsburg, Seymour (1928-2004) 1 Treffer
- Gupta, Madan M. 1 Treffer
- Hanna, Frederick K. 1 Treffer
- Harrison, Michael A. 1 Treffer
- Herschel, Rudolf (1925-) 1 Treffer
- Holcombe, Mike (1944-) 1 Treffer
- Homuth, Horst H. (1940-2004) 1 Treffer
- Hotz, Günter (1931-) 1 Treffer
- Howie, John M. (1936-) 1 Treffer
- Kandel, Abraham 1 Treffer
- Kurshan, Robert P. 1 Treffer
- Lallement, Gerard 1 Treffer
- Leach Albert, Javier 1 Treffer
- Lee, Samuel C. 1 Treffer
- Lewis, Harry R. 1 Treffer
68 Treffer
-
Bonn [u.a.]: Addison-Wesley, 1988Monographie, Gedruckte RessourceZugriff:
-
Princeton NJ [u.a.]: Princeton University Press, 1994Monographie, Gedruckte RessourceZugriff:
-
3., korr. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Press, 1976Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1967Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Pr, 1991Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Academ. Publ, 1990Monographie, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1987) ; New York, NY: American Elsevier (1987) ; Edinburgh: Edinburgh Univ. Press (1987) ; Berlin ; Heidelberg [u.a.]: Springer (1987), 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1979), 1989; 1979Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1979Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1978Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1982Monographie, Gedruckte RessourceZugriff:
-
New York: Crane Russak [u.a.], 1979Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1974Monographie, Einführung, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1969Monographie, Gedruckte RessourceZugriff:
-
Berlin: Akademie-Verl, 1978Monographie, Gedruckte RessourceZugriff:
-
Berlin: Dt. Verl. der Wiss, 1969Monographie, Hochschulschrift, Gedruckte RessourceZugriff: