Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 40 Treffer
- Formale Sprache 17 Treffer
- Reduktionssystem 17 Treffer
- Automatentheorie 15 Treffer
- Statische Analyse 12 Treffer
-
45 weitere Werte:
- Programmierung 11 Treffer
- Natürliche Sprache 9 Treffer
- Automat 7 Treffer
- Biocomputer 7 Treffer
- Graph-Grammatik 7 Treffer
- Termersetzungssystem 7 Treffer
- Biomembran 6 Treffer
- Programmanalyse 6 Treffer
- Softwareentwicklung 6 Treffer
- Sprachverarbeitung 6 Treffer
- Algebraische Spezifikation 5 Treffer
- Berechnungstheorie 5 Treffer
- Graphersetzungssystem 5 Treffer
- Programmiersprache 5 Treffer
- Programmtransformation 5 Treffer
- Programmverifikation 5 Treffer
- Zellularer Automat 5 Treffer
- Bedingtes Termersetzungssystem 4 Treffer
- Computational logic 4 Treffer
- DNS 4 Treffer
- Datenfluss 4 Treffer
- Datenverarbeitung 4 Treffer
- Formale Methode 4 Treffer
- Kontrollfluss 4 Treffer
- Logische Programmierung 4 Treffer
- Mathematische Logik 4 Treffer
- Model Checking 4 Treffer
- Algebra 3 Treffer
- Automat (Automatentheorie) 3 Treffer
- Biologisches System 3 Treffer
- Informatik 3 Treffer
- Komplexitätstheorie 3 Treffer
- Mehragentensystem 3 Treffer
- Nebenläufigkeit 3 Treffer
- Semantik 3 Treffer
- Software Engineering 3 Treffer
- Übersetzerbau 3 Treffer
- Algebraische Struktur 2 Treffer
- Attributierte Grammatik 2 Treffer
- Baum (Mathematik) 2 Treffer
- Entscheidungsproblem 2 Treffer
- Gleichung 2 Treffer
- Gruppentheorie 2 Treffer
- Inferenz (Künstliche Intelligenz) 2 Treffer
- Informationssystem 2 Treffer
Sprache
Form
Person
- Rozenberg, Grzegorz (1942-) 7 Treffer
- Bandini, Stefania 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Eilenberg, Samuel (1913-1998) 3 Treffer
- Ibarra, Oscar H. 3 Treffer
-
45 weitere Werte:
- Tilson, Bret (-2005) 3 Treffer
- Abramsky, Samson (1953-) 2 Treffer
- Aït-Kaci, Hassan 2 Treffer
- Budach, Lothar 2 Treffer
- Calude, Cristian (1952-) 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
- Ehrig, Hartmut 2 Treffer
- Herken, Rolf 2 Treffer
- Kaplan, Stéphane (1961-1991) 2 Treffer
- Kirchner, Claude 2 Treffer
- Lingas, Andrzej 2 Treffer
- Wiedermann, Jiří (1948-) 2 Treffer
- Abdulrab, Habib 1 Treffer
- Abiteboul, Serge (1953-) 1 Treffer
- Ajzerman, Mark A. (1913-1992) 1 Treffer
- Alblas, Henk 1 Treffer
- Arnold, André (1945-) 1 Treffer
- Bachmair, Leo 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Barendsen, Erik 1 Treffer
- Belz, Anja 1 Treffer
- Berghammer, Rudolf (1952-) 1 Treffer
- Beyga, Lech 1 Treffer
- Bezem, Marc 1 Treffer
- Bidoit, Michel 1 Treffer
- Blackburn, Patrick 1 Treffer
- Boldt, Oliver 1 Treffer
- Book, Ronald V. 1 Treffer
- Bronstein, Manuel 1 Treffer
- Brookes, Stephen D. 1 Treffer
- Böhling, Karl Heinz (1930-) 1 Treffer
- Caires, Luís 1 Treffer
- Chaudhuri, Parimal Pal 1 Treffer
- Chlebus, Bogdan S. 1 Treffer
- Christiansen, Henning 1 Treffer
- Christodoulakis, Dimitris N. 1 Treffer
- Ciobanu, Gabriel (1957-) 1 Treffer
- Comon, Hubert 1 Treffer
- Cooper, Stuart B. (1943-2015) 1 Treffer
- Cortesi, Agostino 1 Treffer
- Cuny, Janice 1 Treffer
192 Treffer
-
Vorlesungen über Informatik, 3. Berechenbarkeit, formale Sprachen, Spezifikationen : mit 15 TabellenBerlin [u.a.]: Springer, 1997Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Basel [u.a.]: Birkhäuser, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Press, 1974-Schriftenreihe, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Press, 1974Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2003Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: