Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Datenbanksystem 2 Treffer
- Algebraisch abgeschlossener Körper 1 Treffer
- Anwendungssystem 1 Treffer
- Artificial Intelligence / congresses 1 Treffer
- Bibliografie 1 Treffer
-
26 weitere Werte:
- Brain / physiology / congresses 1 Treffer
- CSP 1 Treffer
- Computer 1 Treffer
- Dateiorganisation 1 Treffer
- Datenmodell 1 Treffer
- Datenverarbeitung 1 Treffer
- Entwicklungsländer 1 Treffer
- Fehlertoleranz 1 Treffer
- Formale Methode 1 Treffer
- Gesellschaft 1 Treffer
- Hirnfunktion 1 Treffer
- Informatik 1 Treffer
- Logische Programmierung 1 Treffer
- Mathematische Logik 1 Treffer
- Models, Theoretical / congresses 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Neural Networks (Computer) / congresses 1 Treffer
- Neurons / physiology / congresses 1 Treffer
- Politik 1 Treffer
- Psychologie 1 Treffer
- Quantorenelimination 1 Treffer
- Räumliches Datenbanksystem 1 Treffer
- Softwareentwicklung 1 Treffer
- Theoretische Informatik 1 Treffer
- Web Services 1 Treffer
- Zemanek, Heinz (1920-2014) 1 Treffer
Sprache
Form
Person
- Abdallah, Ali E. 1 Treffer
- Aichernig, Bernhard K. 1 Treffer
- Avižienis, Algirdas (1932-) 1 Treffer
- Buchmann, Alejandro P. (1950-) 1 Treffer
- Carpentieri, Bruno 1 Treffer
-
13 weitere Werte:
- Carter, William C. (1941-) 1 Treffer
- Caviness, Bob F. 1 Treffer
- Chroust, Gerhard (1941-) 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- Ghosh, Sakti P. 1 Treffer
- Härder, Theo (1945-) 1 Treffer
- Karhumäki, Juhani (1949-) 1 Treffer
- McCulloch, Warren S. (1898-1969) 1 Treffer
- Moreno-Díaz, Roberto 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Sackman, Harold 1 Treffer
- Salomaa, Arto (1934-) 1 Treffer
- Wedekind, Hartmut 1 Treffer
14 Treffer
-
Berlin [u.a.]: Springer, 2005Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Plenum Pr, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Oldenbourg, 1985Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [Publ. Co.], 1987Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Humboldt-Univ. zu Berlin, 2011Monographie, Festschrift, Konferenzschrift, Elektronische Ressource, Film, Dia, VideoZugriff: