Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 7 Treffer
- Algebra 1 Treffer
- Anwendungssystem 1 Treffer
- Berechnungstheorie 1 Treffer
- Bibliografie 1 Treffer
-
18 weitere Werte:
- Biocomputer 1 Treffer
- Computer science 1 Treffer
- Differentialtopologie 1 Treffer
- Differenzierbares dynamisches System 1 Treffer
- Formale Sprache 1 Treffer
- Informatik 1 Treffer
- Information theory 1 Treffer
- Mathematische Logik 1 Treffer
- Multimedia 1 Treffer
- Nebenläufigkeit 1 Treffer
- Numerische Mathematik 1 Treffer
- Petri-Netz 1 Treffer
- Programmierlogik 1 Treffer
- Programmierung 1 Treffer
- Siromoney, Gift (1932-1988) 1 Treffer
- Smale, Stephen (1930-) 1 Treffer
- Verifikation 1 Treffer
- World Wide Web 1 Treffer
Sprache
Form
Person
- Karhumäki, Juhani (1949-) 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Brauer, Wilfried 1 Treffer
-
18 weitere Werte:
- Broy, Manfred (1949-) 1 Treffer
- Brzozowski, Janusz A. 1 Treffer
- Dershowitz, Nachum (1951-) 1 Treffer
- Eršov, Andrej P. (1931-1988) 1 Treffer
- Even, Shimon (1935-2004) 1 Treffer
- Goldreich, Oded (1957-) 1 Treffer
- Hirsch, Morris W. (1933-) 1 Treffer
- Klein, Rolf 1 Treffer
- Konstantinidis, Stavros 1 Treffer
- Manna, Zohar (1939-2018) 1 Treffer
- Moreira, Nelma 1 Treffer
- Narasimhan, Raghavan (1937-) 1 Treffer
- Ottmann, Thomas (1943-) 1 Treffer
- Reis, Rogério, (Cryptographer) 1 Treffer
- Rozenberg, Grzegorz (1942-) 1 Treffer
- Shallit, Jeffrey Outlaw 1 Treffer
- Siromoney, Gift 1 Treffer
- Smale, Stephen (1930-) 1 Treffer
11 Treffer
-
Berlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific, 1989Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1991Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New Jersey: World Scientific, [2017]Festschrift, Sammelwerk, Gedruckte RessourceZugriff: