Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 12 Treffer
- Softwareentwicklung 5 Treffer
- Formale Methode 4 Treffer
- Informatik 4 Treffer
- Mathematische Logik 4 Treffer
-
45 weitere Werte:
- Automatisches Beweisverfahren 3 Treffer
- Berechnungstheorie 3 Treffer
- Biocomputer 3 Treffer
- Datenverarbeitung 3 Treffer
- Programmierung 3 Treffer
- Angewandte Informatik 2 Treffer
- Anwendungssystem 2 Treffer
- Bibliografie 2 Treffer
- CSP 2 Treffer
- Datenbanksystem 2 Treffer
- Elektronische Bibliothek 2 Treffer
- Informationssystem 2 Treffer
- Logische Programmierung 2 Treffer
- Mensch-Maschine-Kommunikation 2 Treffer
- Nebenläufigkeit 2 Treffer
- Petri-Netz 2 Treffer
- Wissensbasiertes System 2 Treffer
- Wissensverarbeitung 2 Treffer
- Zeitschrift 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
- Computer 1 Treffer
- Computerarithmetik 1 Treffer
- Computerindustrie 1 Treffer
- Content Management 1 Treffer
- DNS 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dateiorganisation 1 Treffer
- Datenmodell 1 Treffer
- Datenverarbeitung, Elektronische / Periodika 1 Treffer
- Datenverarbeitungsindustrie / Periodika 1 Treffer
- Eingebettetes System 1 Treffer
- Electronic Commerce 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entwicklungsländer 1 Treffer
- Fehlertoleranz 1 Treffer
- Formale Sprache 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
- Aichernig, Bernhard K. 1 Treffer
- Asveld, Peter R. 1 Treffer
- Avižienis, Algirdas (1932-) 1 Treffer
- Benn, Gottfried (1886-1956) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Bowyer, Kevin 1 Treffer
- Boyer, Robert S. 1 Treffer
- Brauer, Wilfried 1 Treffer
- Buchmann, Alejandro P. (1950-) 1 Treffer
- Buchmann, Johannes (1953-) 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
- Carter, William C. (1941-) 1 Treffer
- Caviness, Bob F. 1 Treffer
- Chroust, Gerhard (1941-) 1 Treffer
- Conte, Samuel Daniel (1917-) 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dershowitz, Nachum (1951-) 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Ehrenfeucht, Andrzej (1932-) 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Eršov, Andrej P. (1931-1988) 1 Treffer
- Even, Shimon (1935-2004) 1 Treffer
- Fankhauser, Peter 1 Treffer
- Feijen, Wim H. J. 1 Treffer
- Freksa, Christian 1 Treffer
- Ghosh, Sakti P. 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
- Hoare, Charles A. R. (1934-) 1 Treffer
- Hotz, Günter (1931-) 1 Treffer
- Hutter, Dieter 1 Treffer
- Härder, Theo (1945-) 1 Treffer
- Jonoska, Nataša 1 Treffer
- Kaucher, Edgar (1945-) 1 Treffer
63 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:
-
Wien [u.a.]: Oldenbourg, 1985Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Leinfelden-Echterdingen: Konradin-IT-Verl (1970-2009) ; Stuttgart; Leinfelden-Echterdingen: Konradin-Verl (anfangs), 1970-2009Zeitung, Zeitschrift, 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:
-
Wien [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific, 1989Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Festschrift, Aufsatzsammlung, 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:
-
Sankt Augustin: GMD, Forschungszentrum Informationstechnik, 1998Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: