Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Theoretische Informatik 9 Treffer
- Softwareentwicklung 4 Treffer
- Automatisches Beweisverfahren 3 Treffer
- Berechnungstheorie 3 Treffer
- Biocomputer 3 Treffer
-
45 weitere Werte:
- Formale Methode 3 Treffer
- Mathematische Logik 3 Treffer
- Programmierung 3 Treffer
- Anwendungssystem 2 Treffer
- Mensch-Maschine-Kommunikation 2 Treffer
- Petri-Netz 2 Treffer
- Wissensbasiertes System 2 Treffer
- Wissensverarbeitung 2 Treffer
- Algebraisch abgeschlossener Körper 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Approximatives Schließen 1 Treffer
- Artificial Intelligence / congresses 1 Treffer
- Benutzerfreundlichkeit 1 Treffer
- Benutzeroberfläche 1 Treffer
- Berechnungskomplexität 1 Treffer
- Biomembran 1 Treffer
- Biomolekül 1 Treffer
- Brain / physiology / congresses 1 Treffer
- CSP 1 Treffer
- Computer 1 Treffer
- Computerarithmetik 1 Treffer
- Content Management 1 Treffer
- DNS 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Datenbanksystem 1 Treffer
- Datenverarbeitung 1 Treffer
- Eingebettetes System 1 Treffer
- Elektronische Bibliothek 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entwicklungsländer 1 Treffer
- Formale Sprache 1 Treffer
- Fuzzy-logisches Schließen 1 Treffer
- Genetischer Algorithmus 1 Treffer
- Gesellschaft 1 Treffer
- Gleichungstheorie 1 Treffer
- Graphersetzungssystem 1 Treffer
- Hardwareentwurf 1 Treffer
- Hartmanis, Juris (1928-2022) 1 Treffer
- Hirnfunktion 1 Treffer
- Informatik 1 Treffer
- Information Engineering 1 Treffer
- Information Retrieval 1 Treffer
- Informationssystem 1 Treffer
- Integriertes Informationssystem 1 Treffer
- Komplexitätstheorie 1 Treffer
Sprache
Form
Person
- Jones, Neil D. (1941-) 2 Treffer
- Kakas, Antonis C. (1957-) 2 Treffer
- Karhumäki, Juhani (1949-) 2 Treffer
- Kowalski, Robert (1941-) 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
-
45 weitere Werte:
- Abdallah, Ali E. 1 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Boyer, Robert S. 1 Treffer
- Brauer, Wilfried 1 Treffer
- Buchmann, Alejandro P. (1950-) 1 Treffer
- Böcker, Heinz-Dieter (1949-) 1 Treffer
- Börger, Egon 1 Treffer
- Böszörményi, László 1 Treffer
- Carlucci Aiello, Luigia 1 Treffer
- Carpentieri, Bruno 1 Treffer
- Caviness, Bob F. 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dershowitz, Nachum (1951-) 1 Treffer
- Ehrenfeucht, Andrzej (1932-) 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Even, Shimon (1935-2004) 1 Treffer
- Freksa, Christian 1 Treffer
- Goldreich, Oded (1957-) 1 Treffer
- Gramß, Tino (1962-) 1 Treffer
- Hartmanis, Juris 1 Treffer
- Head, Tom 1 Treffer
- Heisel, Maritta 1 Treffer
- Hemmje, Matthias 1 Treffer
- Hutter, Dieter 1 Treffer
- Härder, Theo (1945-) 1 Treffer
- Jonoska, Nataša 1 Treffer
- Kaucher, Edgar (1945-) 1 Treffer
- Klein, Rolf 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Krämer, Bernd 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Lenski, Wolfgang (1952-) 1 Treffer
- Manna, Zohar (1939-2018) 1 Treffer
- McCulloch, Warren S. (1898-1969) 1 Treffer
- Mogensen, Torben Æ (1960-) 1 Treffer
- Moreno-Díaz, Roberto 1 Treffer
- Mycielski, Jan (1932-) 1 Treffer
- Neuhold, Erich J. (1940-) 1 Treffer
- Oja, Erkki 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Ottmann, Thomas (1943-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Richter, Michael M. (1938-2020) 1 Treffer
- Robinson, John A. (1930-2016) 1 Treffer
- Rozenberg, Grzegorz (1942-) 1 Treffer
40 Treffer
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [Publ. Co.], 1987Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Acad. Press, 1992Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Weinheim [u.a.]: Wiley-VCH, 1998Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte Ressource