Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 12 Treffer
- Datenverarbeitung 7 Treffer
- Informatik 7 Treffer
- Theoretische Informatik 5 Treffer
- Programmierung 4 Treffer
-
45 weitere Werte:
- Evolutionsstrategie 3 Treffer
- Genetischer Algorithmus 3 Treffer
- Komplexitätstheorie 3 Treffer
- Logik 3 Treffer
- Mathematik 3 Treffer
- Parallelverarbeitung 3 Treffer
- Programmiersprache 3 Treffer
- Algebraische Struktur 2 Treffer
- Algorithmentheorie 2 Treffer
- Automatentheorie 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Gleichung 2 Treffer
- HOL 2 Treffer
- Kategorientheorie 2 Treffer
- Logische Programmierung 2 Treffer
- Mathematische Logik 2 Treffer
- Numerisches Verfahren 2 Treffer
- Verteilter Algorithmus 2 Treffer
- Verteiltes System 2 Treffer
- Analogieschluss 1 Treffer
- Berechenbarkeit 1 Treffer
- Beweisführung 1 Treffer
- Bibliografie 1 Treffer
- C++ 1 Treffer
- Computerarchitektur 1 Treffer
- Datenbank 1 Treffer
- Datenbanksystem 1 Treffer
- Datenstruktur 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Feldrechner 1 Treffer
- Grobmenge 1 Treffer
- Grundlage 1 Treffer
- Hartmanis, Juris (1928-2022) 1 Treffer
- Induktionsschluss 1 Treffer
- Java (Programmiersprache) 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Lernendes System 1 Treffer
- Matrix (Mathematik) 1 Treffer
- Mengenlehre 1 Treffer
- Parallelrechner 1 Treffer
- Petri-Netz 1 Treffer
- Polynomalgebra 1 Treffer
- Produktion (Informatik) 1 Treffer
- Programm 1 Treffer
- Reduktionssystem 1 Treffer
Sprache
Person
- Gabbay, Dov M. (1945-) 7 Treffer
- Peters, James F. 5 Treffer
- Wang, Lipo 5 Treffer
- Abramsky, Samson (1953-) 4 Treffer
- Bibel, Wolfgang 3 Treffer
-
45 weitere Werte:
- Goos, Gerhard (1937-2020) 3 Treffer
- Lemonds, Carl E. 3 Treffer
- Sedgewick, Robert (1946-) 3 Treffer
- Swartzlander, Earl Eugene (1945-) 3 Treffer
- Wang, Jun 3 Treffer
- Zimmermann, Wolf 3 Treffer
- Aït-Kaci, Hassan 2 Treffer
- Balcázar, José Luis 2 Treffer
- Berlioux, Pierre 2 Treffer
- Bizard, Philippe 2 Treffer
- Broy, Manfred (1949-) 2 Treffer
- Cormen, Thomas H. 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Gabarró, Joaquim 2 Treffer
- Hao, Yue 2 Treffer
- Hodkinson, Ian 2 Treffer
- Huang, De-Shuang 2 Treffer
- Jiao, Licheng 2 Treffer
- Kakas, Antonis C. (1957-) 2 Treffer
- Kowalski, Robert (1941-) 2 Treffer
- Reynolds, Mark 2 Treffer
- Sussman, Julie 2 Treffer
- Yin, Fuliang 2 Treffer
- Ślęzak, Dominik 2 Treffer
- Aarts, Emile H. L. (1955-) 1 Treffer
- Bach, Eric 1 Treffer
- Bini, Dario (1950-) 1 Treffer
- Bronstein, Manuel 1 Treffer
- Cantone, Domenico 1 Treffer
- Feinsilver, Philip J. (1948-) 1 Treffer
- Ferro, Alfredo (1951-) 1 Treffer
- Hartmanis, Juris 1 Treffer
- Knuth, Donald Ervin (1938-) 1 Treffer
- Kolmogorov, Andrej Nikolaevič (1903-1987) 1 Treffer
- Moret, Bernard M. 1 Treffer
- Müller, Gert H. 1 Treffer
- Omodeo, Eugenio 1 Treffer
- Pan, Victor (1939-) 1 Treffer
- Reischuk, Rüdiger (1955-) 1 Treffer
- Schott, René (1947-) 1 Treffer
- Shallit, Jeffrey O. (1957-) 1 Treffer
- Shapiro, Henry D. 1 Treffer
- Stoschek, Erwin P. 1 Treffer
- Swart, Henricus C. de 1 Treffer
- Tichomirov, Vladimir M. (1934-) 1 Treffer
99 Treffer
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Acad. Pr, 1989Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2000Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
2. ed., 4. print.. - Cambridge, Mass. [u.a.]: MIT Press [u.a.], 2003Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1986Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1987) ; New York, NY: American Elsevier (1987) ; Edinburgh: Edinburgh Univ. Press (1987) ; Berlin ; Heidelberg [u.a.]: Springer (1987), 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Redwood City, Calif.: Benjamin/Cummings, 1991Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
3. ed.. - Boston, Mass. [u.a.]: Addison-Wesley, 2004Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Press, 1996Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff: