Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 11 Treffer
- Softwareentwicklung 4 Treffer
- Automatisches Beweisverfahren 3 Treffer
- Berechnungstheorie 3 Treffer
- Formale Methode 3 Treffer
-
45 weitere Werte:
- Informatik 3 Treffer
- Mathematische Logik 3 Treffer
- Programmierung 3 Treffer
- Angewandte Informatik 2 Treffer
- Biocomputer 2 Treffer
- Elektronische Bibliothek 2 Treffer
- Informationssystem 2 Treffer
- Mensch-Maschine-Kommunikation 2 Treffer
- Nebenläufigkeit 2 Treffer
- Petri-Netz 2 Treffer
- Wissensbasiertes System 2 Treffer
- Wissensverarbeitung 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Anwendungssystem 1 Treffer
- Approximatives Schließen 1 Treffer
- Benutzerfreundlichkeit 1 Treffer
- Benutzeroberfläche 1 Treffer
- Berechnungskomplexität 1 Treffer
- Bibliografie 1 Treffer
- Biomembran 1 Treffer
- Biomolekül 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
- Datenverarbeitung 1 Treffer
- Eingebettetes System 1 Treffer
- Entscheidbarkeit 1 Treffer
- Entwicklungsländer 1 Treffer
- Formale Sprache 1 Treffer
- Fuzzy-logisches Schließen 1 Treffer
- Gesellschaft 1 Treffer
- Gleichungstheorie 1 Treffer
- Graphersetzungssystem 1 Treffer
- Hardwareentwurf 1 Treffer
- Hartmanis, Juris (1928-2022) 1 Treffer
- Information Engineering 1 Treffer
- Information Retrieval 1 Treffer
- Information und Dokumentation 1 Treffer
- Integriertes Informationssystem 1 Treffer
- Komplexitätstheorie 1 Treffer
- Korrektheit 1 Treffer
- Künstliche Intelligenz 1 Treffer
Sprache
Form
Person
- Jones, Neil D. (1941-) 2 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Boyer, Robert S. 1 Treffer
- Brauer, Wilfried 1 Treffer
- Buchmann, Johannes (1953-) 1 Treffer
-
45 weitere Werte:
- 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
- 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
- Even, Shimon (1935-2004) 1 Treffer
- Fankhauser, Peter 1 Treffer
- Feijen, Wim H. J. 1 Treffer
- Freksa, Christian 1 Treffer
- Goldreich, Oded (1957-) 1 Treffer
- Hartmanis, Juris 1 Treffer
- Head, Tom 1 Treffer
- Hemmje, Matthias 1 Treffer
- Hoare, Charles A. R. (1934-) 1 Treffer
- Hotz, Günter (1931-) 1 Treffer
- Hutter, Dieter 1 Treffer
- Jonoska, Nataša 1 Treffer
- Karhumäki, Juhani (1949-) 1 Treffer
- Kaucher, Edgar (1945-) 1 Treffer
- Klein, Rolf 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Lausen, Georg (1951-) 1 Treffer
- Lenski, Wolfgang (1952-) 1 Treffer
- Manna, Zohar (1939-2018) 1 Treffer
- Mogensen, Torben Æ (1960-) 1 Treffer
- Mycielski, Jan (1932-) 1 Treffer
- Narasimhan, Raghavan (1937-) 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
- Roscoe, A. W. 1 Treffer
- Rozenberg, Grzegorz (1942-) 1 Treffer
- Rödding, Dieter 1 Treffer
- Sackman, Harold 1 Treffer
- Salomaa, Arto (1934-) 1 Treffer
- Schmitz, Paul 1 Treffer
36 Treffer
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
1. ed.. - Amsterdam [u.a.]: Elsevier, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
The essence of computation: complexity, analysis, transformation ; essays dedicated to Neil D. JonesBerlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Bibliografie, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Heidelberg: dpunkt-Verl. [u.a.], 2000Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart [u.a.]: Teubner, 1992Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1985Bibliografie, Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Biografie, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [Publ. Co.], 1987Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Sankt Augustin: GMD, Forschungszentrum Informationstechnik, 1998Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: