Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 10 Treffer
- Automatisches Beweisverfahren 3 Treffer
- Berechnungstheorie 3 Treffer
- Mathematische Logik 3 Treffer
- Programmierung 3 Treffer
-
45 weitere Werte:
- Angewandte Informatik 2 Treffer
- Anwendungssystem 2 Treffer
- Biocomputer 2 Treffer
- Formale Methode 2 Treffer
- Informatik 2 Treffer
- Logische Programmierung 2 Treffer
- Nebenläufigkeit 2 Treffer
- Petri-Netz 2 Treffer
- Softwareentwicklung 2 Treffer
- Approximatives Schließen 1 Treffer
- Berechnungskomplexität 1 Treffer
- Bibliografie 1 Treffer
- Biomembran 1 Treffer
- Biomolekül 1 Treffer
- CSP 1 Treffer
- DNS 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Datenbanksystem 1 Treffer
- Entscheidbarkeit 1 Treffer
- Formale Sprache 1 Treffer
- Fuzzy-logisches Schließen 1 Treffer
- Gleichungstheorie 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Künstliche Intelligenz / Aufsatzsammlung 1 Treffer
- Logik 1 Treffer
- Logischer Schluss 1 Treffer
- Multimedia 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Objektorientierung 1 Treffer
- Paralleler Algorithmus 1 Treffer
- Parallelverarbeitung 1 Treffer
- Petri, Carl A. (1926-2010) 1 Treffer
- Programmanalyse 1 Treffer
- Programmierlogik 1 Treffer
- Programmtransformation 1 Treffer
- SIMULA 1 Treffer
- Schmitz, Paul (ca. 20 Jh.) 1 Treffer
- Siromoney, Gift (1932-1988) 1 Treffer
- Soft Computing 1 Treffer
- Verifikation 1 Treffer
- Web Services 1 Treffer
- Wirth, Niklaus (1934-2024) 1 Treffer
- Wirtschaftsinformatik 1 Treffer
- Wissensbasiertes System 1 Treffer
- Wissensverarbeitung 1 Treffer
Sprache
Form
Person
- Jones, Neil D. (1941-) 2 Treffer
- Karhumäki, Juhani (1949-) 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
- Benn, Gottfried (1886-1956) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
-
45 weitere Werte:
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Boyer, Robert S. 1 Treffer
- Brauer, Wilfried 1 Treffer
- Buchmann, Johannes (1953-) 1 Treffer
- Börger, Egon 1 Treffer
- Böszörményi, László 1 Treffer
- Carlucci Aiello, Luigia 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
- Eršov, Andrej P. (1931-1988) 1 Treffer
- Even, Shimon (1935-2004) 1 Treffer
- Feijen, Wim H. J. 1 Treffer
- Goldreich, Oded (1957-) 1 Treffer
- Head, Tom 1 Treffer
- Heisel, Maritta 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
- Klein, Rolf 1 Treffer
- Krämer, Bernd 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
- Narasimhan, Raghavan (1937-) 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Oberquelle, Horst (1947-) 1 Treffer
- Ottmann, Thomas (1943-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Rice, John 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
- Schlageter, Gunter (1943-) 1 Treffer
- Schmitz, Paul 1 Treffer
- Seibt, Dietrich (1938-) 1 Treffer
- Siekmann, Jörg 1 Treffer
32 Treffer
-
Berlin [u.a.]: Springer, 2005Festschrift, Konferenzschrift, 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, 2012Festschrift, 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:
-
Heidelberg: dpunkt-Verl. [u.a.], 2000Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart [u.a.]: Teubner, 1992Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1993Festschrift, Konferenzschrift, Bibliografie, 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, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Plenum Press, 1994Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1991Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, 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: