Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Formale Sprache 3 Treffer
- Komplexitätstheorie 2 Treffer
- Nebenläufigkeit 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmus 1 Treffer
-
24 weitere Werte:
- Automat 1 Treffer
- Automatennetz 1 Treffer
- Automatentheorie 1 Treffer
- Berechenbarkeit 1 Treffer
- Compiler-Compiler 1 Treffer
- Ersetzungsregel 1 Treffer
- Formale Potenzreihe 1 Treffer
- Halbgeordnete Menge 1 Treffer
- Halbring 1 Treffer
- Horn-Klausel 1 Treffer
- Kombinatorische Geometrie 1 Treffer
- Petri-Netz 1 Treffer
- Produkt 1 Treffer
- Programm 1 Treffer
- Programmierung 1 Treffer
- Prädikatenlogik 1 Treffer
- Public-Key-Kryptosystem 1 Treffer
- Relationale Datenbank 1 Treffer
- Sequenzielle Logik 1 Treffer
- Spezifikation 1 Treffer
- Stufe 1 1 Treffer
- Systemanalyse 1 Treffer
- Temporale Logik 1 Treffer
- Universelle Algebra 1 Treffer
Sprache
Form
Person
- Mehlhorn, Kurt (1949-) 3 Treffer
- Balcázar, José Luis 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Ehrig, Hartmut (1944-2016) 2 Treffer
- Gabarró, Joaquim 2 Treffer
-
24 weitere Werte:
- Mahr, Bernd (1945-2015) 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
- Sippu, Seppo 2 Treffer
- Soisalon-Soininen, Eljas 2 Treffer
- Berstel, Jean (1941-) 1 Treffer
- Best, Eike 1 Treffer
- Dassow, Jürgen 1 Treffer
- Edelsbrunner, Herbert (1958-) 1 Treffer
- Fernández, César 1 Treffer
- Gergely, Tamás (1952-) 1 Treffer
- Gécseg, Ferenc (1939-) 1 Treffer
- Janicki, Ryszard 1 Treffer
- Kröger, Fred 1 Treffer
- Kuich, Werner 1 Treffer
- Lauer, Peter E. 1 Treffer
- Padawitz, Peter 1 Treffer
- Paredaens, Jan 1 Treffer
- Păun, Gheorghe (1950-) 1 Treffer
- Reisig, Wolfgang (1950-) 1 Treffer
- Reutenauer, Christophe 1 Treffer
- Tofte, Mads 1 Treffer
- Wechler, Wolfgang 1 Treffer
- Weihrauch, Klaus (1943-) 1 Treffer
- Úry, László 1 Treffer
25 Treffer
-
Berlin [u.a.]: Springer, 1984Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1984Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1984Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1985Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff: