Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 44 Treffer
- Automatentheorie 38 Treffer
- Formale Sprache 36 Treffer
- Reduktionssystem 19 Treffer
- Programmierung 13 Treffer
-
45 weitere Werte:
- Programmiersprache 12 Treffer
- Statische Analyse 12 Treffer
- Automat 11 Treffer
- Natürliche Sprache 10 Treffer
- Graph-Grammatik 8 Treffer
- Biocomputer 7 Treffer
- Datenverarbeitung 7 Treffer
- Softwareentwicklung 7 Treffer
- Sprachverarbeitung 7 Treffer
- Termersetzungssystem 7 Treffer
- Berechnungstheorie 6 Treffer
- Biomembran 6 Treffer
- Graphersetzungssystem 6 Treffer
- Programmanalyse 6 Treffer
- Zellularer Automat 6 Treffer
- Algebraische Spezifikation 5 Treffer
- Programmtransformation 5 Treffer
- Programmverifikation 5 Treffer
- Syntaktische Analyse 5 Treffer
- Automat (Automatentheorie) 4 Treffer
- Bedingtes Termersetzungssystem 4 Treffer
- Computational logic 4 Treffer
- Computerlinguistik 4 Treffer
- DNS 4 Treffer
- Datenfluss 4 Treffer
- Endlicher Automat 4 Treffer
- Formale Methode 4 Treffer
- Kontrollfluss 4 Treffer
- Mathematische Logik 4 Treffer
- Model Checking 4 Treffer
- Nebenläufigkeit 4 Treffer
- Parallelverarbeitung 4 Treffer
- Parser 4 Treffer
- Programmierparadigma 4 Treffer
- Algebra 3 Treffer
- Attributierte Grammatik 3 Treffer
- Berechenbarkeit 3 Treffer
- Biologisches System 3 Treffer
- Compiler 3 Treffer
- Fuzzy-Logik 3 Treffer
- Informatik 3 Treffer
- Komplexitätstheorie 3 Treffer
- Künstliche Intelligenz 3 Treffer
- Logische Programmierung 3 Treffer
- Mehragentensystem 3 Treffer
Form
Person
- Rozenberg, Grzegorz (1942-) 7 Treffer
- Ullman, Jeffrey D. (1942-) 5 Treffer
- Salomaa, Arto (1934-) 4 Treffer
- Aho, Alfred V. (1941-) 3 Treffer
- Calude, Cristian (1952-) 3 Treffer
-
45 weitere Werte:
- Dassow, Jürgen 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Eilenberg, Samuel (1913-1998) 3 Treffer
- Ibarra, Oscar H. 3 Treffer
- Pin, Jean Éric 3 Treffer
- Tilson, Bret (-2005) 3 Treffer
- Abramsky, Samson (1953-) 2 Treffer
- Arbib, Michael A. (1940-) 2 Treffer
- Aït-Kaci, Hassan 2 Treffer
- Bachmair, Leo 2 Treffer
- Berstel, Jean (1941-) 2 Treffer
- Book, Ronald V. 2 Treffer
- Büchi, Julius Richard (1924-1984) 2 Treffer
- Champarnaud, Jean-Marc 2 Treffer
- Corradini, Andrea 2 Treffer
- Cousot, Patrick 2 Treffer
- Cousot, Radhia 2 Treffer
- De Swart, Harrie (1944-) 2 Treffer
- Deransart, Pierre 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
- Kaplan, Stéphane (1961-1991) 2 Treffer
- Kuich, Werner 2 Treffer
- Lingas, Andrzej 2 Treffer
- Nijholt, Anton 2 Treffer
- Păun, Gheorghe (1950-) 2 Treffer
- Richter, Michael M. (1938-2020) 2 Treffer
- Wiedermann, Jiří (1948-) 2 Treffer
- Wood, Derick (1940-) 2 Treffer
- Abdulrab, Habib 1 Treffer
- Abiteboul, Serge (1953-) 1 Treffer
- Abramson, Harvey 1 Treffer
- Ajzerman, Mark A. (1913-1992) 1 Treffer
- Alblas, Henk 1 Treffer
- Aleksander, Igor 1 Treffer
- Amtrup, Jan 1 Treffer
- Arnold, André (1945-) 1 Treffer
- Ashar, Pranav 1 Treffer
- Baba, Norio 1 Treffer
- Bandini, Stefania 1 Treffer
- Barendsen, Erik 1 Treffer
- Barzdin', Jan Martynovič 1 Treffer
- Belz, Anja 1 Treffer
261 Treffer
-
Cham: Springer, [2017]Monographie, Gedruckte RessourceZugriff:
-
New York: Cambridge Univ. Press, 2011Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2008Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2007Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: