Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 8 Treffer
- Informatik 4 Treffer
- Datenverarbeitung 3 Treffer
- Mathematische Logik 3 Treffer
- Formale Sprache 2 Treffer
-
43 weitere Werte:
- Logik 2 Treffer
- Programmierung 2 Treffer
- Algorithmus 1 Treffer
- Anwendung 1 Treffer
- Anwendungssystem 1 Treffer
- Baumautomat 1 Treffer
- Berechnungstheorie 1 Treffer
- Bewachte Logik 1 Treffer
- Bibliografie 1 Treffer
- Biocomputer 1 Treffer
- Boolesche Algebra 1 Treffer
- Boolesche Gleichung 1 Treffer
- Büchi-Automat 1 Treffer
- Geschichte 1 Treffer
- Informationstechnik 1 Treffer
- Informationstheorie 1 Treffer
- Komplexitätstheorie 1 Treffer
- Logische Programmierung 1 Treffer
- Mathematical linguistics 1 Treffer
- Mathematisches Modell 1 Treffer
- Model Checking 1 Treffer
- Monade (Mathematik) 1 Treffer
- Multimedia 1 Treffer
- My-Kalkül 1 Treffer
- Nebenläufigkeit 1 Treffer
- Neuronales Netz 1 Treffer
- Petri-Netz 1 Treffer
- Programmierlogik 1 Treffer
- Quanteninformatik 1 Treffer
- Relation (Mathematik) 1 Treffer
- Relationenalgebra 1 Treffer
- Signal processing 1 Treffer
- Signal processing, Mathematics 1 Treffer
- Signaltheorie 1 Treffer
- Signalverarbeitung 1 Treffer
- Siromoney, Gift (1932-1988) 1 Treffer
- Stufe 2 1 Treffer
- Theorie 1 Treffer
- Unendliches Spiel 1 Treffer
- Verifikation 1 Treffer
- Verteiltes System 1 Treffer
- World Wide Web 1 Treffer
- Zweipersonenspiel 1 Treffer
Sprache
Form
Person
- Bochmann, Dieter 1 Treffer
- Brauer, Wilfried 1 Treffer
- Brink, Chris 1 Treffer
- Börger, Egon 1 Treffer
- Bārzdiṇš, Jānis 1 Treffer
-
25 weitere Werte:
- Dershowitz, Nachum (1951-) 1 Treffer
- Ehrenfeucht, Andrzej (1932-) 1 Treffer
- Eldar, Yonina C. (1973-) 1 Treffer
- Even, Shimon (1935-2004) 1 Treffer
- Freksa, Christian 1 Treffer
- Goldreich, Oded (1957-) 1 Treffer
- Grädel, Erich (1958-) 1 Treffer
- Hilberg, Wolfgang 1 Treffer
- Karhumäki, Juhani (1949-) 1 Treffer
- Klein, Rolf 1 Treffer
- Kueker, David W. 1 Treffer
- Kutyniok, Gitta (1972-) 1 Treffer
- Lipton, Richard J. (1946-) 1 Treffer
- Manna, Zohar (1939-2018) 1 Treffer
- Martín Vide, Carlos (1955-) 1 Treffer
- Mycielski, Jan (1932-) 1 Treffer
- Narasimhan, Raghavan (1937-) 1 Treffer
- Ottmann, Thomas (1943-) 1 Treffer
- Rozenberg, Grzegorz (1942-) 1 Treffer
- Salomaa, Arto (1934-) 1 Treffer
- Schleich, Wolfgang (1957-) 1 Treffer
- Siromoney, Gift 1 Treffer
- Taylor, John G. (1931-2012) 1 Treffer
- Ullman, Jeffrey D. (1942-) 1 Treffer
- Wegener, Ingo (1950-2008) 1 Treffer
22 Treffer
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Weinheim: Wiley-VCH, 2007Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2012Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London: Imperial College Press, 2011Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Verl. Technik, 1984Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - New York [u.a.]: Dekker, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Groß-Bieberau/Odenwald: Sprache und Technik, 2000Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2010Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff: