Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatentheorie 25 Treffer
- Formale Sprache 22 Treffer
- Programmiersprache 7 Treffer
- Theoretische Informatik 6 Treffer
- Syntaktische Analyse 5 Treffer
-
45 weitere Werte:
- Automat 4 Treffer
- Compiler 3 Treffer
- Computerlinguistik 3 Treffer
- Datenverarbeitung 3 Treffer
- Endlicher Automat 3 Treffer
- Parser 3 Treffer
- Sequenzielle Logik 3 Treffer
- Zellularer Automat 3 Treffer
- Berechenbarkeit 2 Treffer
- Fuzzy-Logik 2 Treffer
- Kontextfreie Grammatik 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Natürliche Sprache 2 Treffer
- Parallelverarbeitung 2 Treffer
- Potenzreihe 2 Treffer
- Programmierparadigma 2 Treffer
- Programmierung 2 Treffer
- Reduktionssystem 2 Treffer
- Stochastischer Automat 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Algebraische Automatentheorie 1 Treffer
- Algorithmus 1 Treffer
- Analysis 1 Treffer
- Attributierte Grammatik 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Automatennetz 1 Treffer
- Automatische Spracherkennung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- B (Programmiersprache) 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Büchi, Julius Richard (1924-1984) 1 Treffer
- CCS 1 Treffer
- Computer 1 Treffer
- Computeralgebra 1 Treffer
- Datenstruktur 1 Treffer
- Default-Logik 1 Treffer
- Deva (Programmiersprache) 1 Treffer
- Diagnostik 1 Treffer
- Echtzeitsystem 1 Treffer
- Endliche Präsentation 1 Treffer
- Entscheidungsunterstützungssystem 1 Treffer
- Entwurfsautomation 1 Treffer
- Ersetzungsregel 1 Treffer
- Evolutionärer Algorithmus 1 Treffer
Form
Person
- Ullman, Jeffrey D. (1942-) 5 Treffer
- Salomaa, Arto (1934-) 4 Treffer
- Aho, Alfred V. (1941-) 3 Treffer
- Arbib, Michael A. (1940-) 2 Treffer
- Berstel, Jean (1941-) 2 Treffer
-
45 weitere Werte:
- Büchi, Julius Richard (1924-1984) 2 Treffer
- Dassow, Jürgen 2 Treffer
- Ginsburg, Seymour (1928-2004) 2 Treffer
- Gécseg, Ferenc (1939-) 2 Treffer
- Harrison, Michael A. 2 Treffer
- Hopcroft, John E. (1939-) 2 Treffer
- Nijholt, Anton 2 Treffer
- Pin, Jean Éric 2 Treffer
- Abramson, Harvey 1 Treffer
- Aleksander, Igor 1 Treffer
- Amtrup, Jan 1 Treffer
- Ashar, Pranav 1 Treffer
- Baba, Norio 1 Treffer
- Bachmair, Leo 1 Treffer
- Barzdin', Jan Martynovič 1 Treffer
- Benninghofen, Benjamin 1 Treffer
- Book, Ronald V. 1 Treffer
- Booth, Taylor L. (1933-) 1 Treffer
- Börger, Egon 1 Treffer
- Calude, Cristian (1952-) 1 Treffer
- Carpenter, Bob 1 Treffer
- Cetlin, Michail L. 1 Treffer
- Clearwater, Scott H. 1 Treffer
- Cleaveland, J. Craig 1 Treffer
- Codd, Edgar F. (1923-2003) 1 Treffer
- DOBERKAT, Ernst-Erich 1 Treffer
- Dahl, Veronica 1 Treffer
- Denning, Peter J. (1942-) 1 Treffer
- Dennis, Jack B. 1 Treffer
- Deransart, Pierre 1 Treffer
- Devadas, Srinivas 1 Treffer
- Diekert, Volker (1955-) 1 Treffer
- Duff, M. J. B. (1933-) 1 Treffer
- Dörr, Heiko 1 Treffer
- Garzon, Max 1 Treffer
- Gifford, David K. (1954-) 1 Treffer
- Gough, Kevin John (1942-) 1 Treffer
- Guessarian, Irène 1 Treffer
- Habel, Annegret 1 Treffer
- Hadeler, Karl-Peter (1936-2017) 1 Treffer
- Hanna, Frederick K. 1 Treffer
- Haridi, Seif 1 Treffer
- Howie, John M. (1936-) 1 Treffer
- Janicki, Ryszard 1 Treffer
- Jourdan, Martin 1 Treffer
91 Treffer
-
New York [u.a.]: Plenum Press, 1984Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Springer, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: McGraw-Hill, 1972Monographie, Gedruckte RessourceZugriff:
-
Budapest: Akad. Kiadó, 1972Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Press, 1968Monographie, Gedruckte RessourceZugriff:
-
New York: Acad. Press, 1973Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cham: Springer, [2017]Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Prentice-Hall, 1972-Monographie, Schriftenreihe, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer [u.a.], 1998Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1987Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquiumBerlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff: