Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 16 Treffer
- Datenverarbeitung 8 Treffer
- Informatik 8 Treffer
- Genetischer Algorithmus 6 Treffer
- Programmierung 6 Treffer
-
45 weitere Werte:
- Theoretische Informatik 5 Treffer
- Komplexitätstheorie 4 Treffer
- Mathematische Logik 4 Treffer
- Evolutionsstrategie 3 Treffer
- Kategorientheorie 3 Treffer
- Logik 3 Treffer
- Mathematik 3 Treffer
- Parallelrechner 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
- Künstliche Intelligenz 2 Treffer
- Logische Programmierung 2 Treffer
- Numerisches Verfahren 2 Treffer
- VLSI 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
- Computeralgebra 1 Treffer
- Computerarchitektur 1 Treffer
- Datenbank 1 Treffer
- Datenbanksystem 1 Treffer
- Datenstruktur 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Evolutionärer Algorithmus 1 Treffer
- Feldrechner 1 Treffer
- Formale Methode 1 Treffer
- Grobmenge 1 Treffer
- Grundlage 1 Treffer
- Hartmanis, Juris (1928-2022) 1 Treffer
- Induktionsschluss 1 Treffer
- Java (Programmiersprache) 1 Treffer
- Lernendes System 1 Treffer
- Matrix (Mathematik) 1 Treffer
- Mengenlehre 1 Treffer
- Neuronales Netz 1 Treffer
Sprache
Form
Person
- Gabbay, Dov M. (1945-) 8 Treffer
- Goos, Gerhard (1937-2020) 6 Treffer
- Zimmermann, Wolf 6 Treffer
- Abramsky, Samson (1953-) 5 Treffer
- Peters, James F. 5 Treffer
-
45 weitere Werte:
- Wang, Lipo 5 Treffer
- Cormen, Thomas H. 4 Treffer
- Sussman, Julie 4 Treffer
- Bibel, Wolfgang 3 Treffer
- Lemonds, Carl E. 3 Treffer
- Sedgewick, Robert (1946-) 3 Treffer
- Swartzlander, Earl Eugene (1945-) 3 Treffer
- Wang, Jun 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
- Deprettere, Ed F. (1944-) 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Gabarró, Joaquim 2 Treffer
- Hao, Yue 2 Treffer
- Hartmanis, Juris 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
- Manna, Zohar 2 Treffer
- Reynolds, Mark 2 Treffer
- Siekmann, Jörg 2 Treffer
- Swart, Henricus C. de 2 Treffer
- Waldinger, Richard 2 Treffer
- Wing, Jeannette Marie (1956-) 2 Treffer
- Yin, Fuliang 2 Treffer
- Zadeh, Lotfi A. (1921-2017) 2 Treffer
- Ślęzak, Dominik 2 Treffer
- Aarts, Emile H. L. (1955-) 1 Treffer
- Bach, Eric 1 Treffer
- Bini, Dario (1950-) 1 Treffer
- Brezinski, Claude (1941-) 1 Treffer
- Bronstein, Manuel 1 Treffer
- Cantone, Domenico 1 Treffer
- Ebert, Jürgen 1 Treffer
- Feinsilver, Philip J. (1948-) 1 Treffer
- Ferro, Alfredo (1951-) 1 Treffer
- Harvey, Brian (1953-) 1 Treffer
- Knuth, Donald Ervin (1938-) 1 Treffer
- Kolmogorov, Andrej Nikolaevič (1903-1987) 1 Treffer
- Lusk, Ewing 1 Treffer
130 Treffer
-
Berlin [u.a.]: Springer, 1988Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1993Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1985Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquiumBerlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1998Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1998Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1998Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff: