Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 7 Treffer
- Automatisches Beweisverfahren 3 Treffer
- Berechnungstheorie 3 Treffer
- Programmierung 3 Treffer
- Anwendungssystem 2 Treffer
-
37 weitere Werte:
- Biocomputer 2 Treffer
- Formale Methode 2 Treffer
- Mathematische Logik 2 Treffer
- Petri-Netz 2 Treffer
- Softwareentwicklung 2 Treffer
- Approximatives Schließen 1 Treffer
- Berechnungskomplexität 1 Treffer
- Biomembran 1 Treffer
- Biomolekül 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
- Logische Programmierung 1 Treffer
- Logischer Schluss 1 Treffer
- Multimedia 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Petri, Carl A. (1926-2010) 1 Treffer
- Programmanalyse 1 Treffer
- Programmierlogik 1 Treffer
- Programmtransformation 1 Treffer
- SIMULA 1 Treffer
- Soft Computing 1 Treffer
- Verifikation 1 Treffer
- Web Services 1 Treffer
- Wirth, Niklaus (1934-2024) 1 Treffer
- Wissensbasiertes System 1 Treffer
- Wissensverarbeitung 1 Treffer
- World Wide Web 1 Treffer
Form
Person
- Jones, Neil D. (1941-) 2 Treffer
- Karhumäki, Juhani (1949-) 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
- Bledsoe, Woody W. (1921-1995) 1 Treffer
- Boyer, Robert S. 1 Treffer
-
31 weitere Werte:
- Brauer, Wilfried 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
- Even, Shimon (1935-2004) 1 Treffer
- Goldreich, Oded (1957-) 1 Treffer
- Head, Tom 1 Treffer
- Heisel, Maritta 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
- Lenski, Wolfgang (1952-) 1 Treffer
- Manna, Zohar (1939-2018) 1 Treffer
- Mogensen, Torben Æ (1960-) 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
- Rödding, Dieter 1 Treffer
- Siekmann, Jörg 1 Treffer
- Stock, Oliviero 1 Treffer
- Takasu, Satoru (1931-) 1 Treffer
- Voss, Klaus 1 Treffer
- Wedekind, Hartmut 1 Treffer
- Wirth, Niklaus (1934-2024) 1 Treffer
20 Treffer
-
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:
-
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:
-
Berlin [u.a.]: Springer, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, 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:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: