Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 79 Treffer
- Automatisches Beweisverfahren 26 Treffer
- Mathematische Logik 25 Treffer
- Berechnungskomplexität 22 Treffer
- Komplexitätstheorie 20 Treffer
-
45 weitere Werte:
- Berechenbarkeit 18 Treffer
- Datenverarbeitung 17 Treffer
- Logische Programmierung 17 Treffer
- Datenstruktur 16 Treffer
- Programmierung 16 Treffer
- Genetischer Algorithmus 14 Treffer
- Algorithms 11 Treffer
- Computeralgebra 11 Treffer
- Algorithmentheorie 9 Treffer
- Graphentheorie 9 Treffer
- Kombinatorik 9 Treffer
- Wissensrepräsentation 9 Treffer
- Informatik 8 Treffer
- Künstliche Intelligenz 8 Treffer
- Paralleler Algorithmus 8 Treffer
- Automatentheorie 7 Treffer
- Computerarithmetik 7 Treffer
- Parallelverarbeitung 7 Treffer
- Formale Sprache 6 Treffer
- Kombinatorische Optimierung 6 Treffer
- Mathematik 6 Treffer
- Programmiersprache 6 Treffer
- Evolutionärer Algorithmus 5 Treffer
- Funktionale Programmierung 5 Treffer
- Komplexität 5 Treffer
- Prädikatenlogik 5 Treffer
- Randomisierter Algorithmus 5 Treffer
- Theoretische Informatik 5 Treffer
- Algorithmische Geometrie 4 Treffer
- Approximationsalgorithmus 4 Treffer
- Berechnungstheorie 4 Treffer
- Beweistheorie 4 Treffer
- Computer 4 Treffer
- Evolutionsstrategie 4 Treffer
- Heuristik 4 Treffer
- Logik 4 Treffer
- NP-vollständiges Problem 4 Treffer
- Numerische Mathematik 4 Treffer
- Scheduling 4 Treffer
- Stufe 1 4 Treffer
- Turing-Maschine 4 Treffer
- Analysis 3 Treffer
- Berechenbare Funktion 3 Treffer
- C (Programmiersprache) 3 Treffer
- C++ 3 Treffer
Form
Person
- Knuth, Donald Ervin (1938-) 7 Treffer
- Sedgewick, Robert (1946-) 7 Treffer
- Brucker, Peter (1942-) 4 Treffer
- Michalewicz, Zbigniew (1952-) 4 Treffer
- Aho, Alfred V. (1941-) 3 Treffer
-
45 weitere Werte:
- Baase, Sara 3 Treffer
- Davenport, James Harold 3 Treffer
- Harel, David 3 Treffer
- Hopcroft, John E. (1939-) 3 Treffer
- Hromkovič, Juraj (1958-) 3 Treffer
- Kozen, Dexter (1951-) 3 Treffer
- Manna, Zohar 3 Treffer
- Ullman, Jeffrey D. (1942-) 3 Treffer
- Waldinger, Richard 3 Treffer
- Šen, Aleksandr Ch (1958-) 3 Treffer
- Aberth, Oliver 2 Treffer
- Balcázar, José Luis 2 Treffer
- Bibel, Wolfgang 2 Treffer
- Blackburn, Patrick 2 Treffer
- Bundy, Alan 2 Treffer
- Chang, Chin-Liang 2 Treffer
- Char-Tung Lee, Richard 2 Treffer
- Clausen, Michael (1948-) 2 Treffer
- Constable, Robert Lee 2 Treffer
- Davis, Martin (1928-2023) 2 Treffer
- Dougherty, Dale 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Flajolet, Philippe 2 Treffer
- Gabarró, Joaquim 2 Treffer
- Gerhard, Jürgen 2 Treffer
- Greene, Daniel H. 2 Treffer
- Gusfield, Dan 2 Treffer
- Hansson, Sven Ove (1951-) 2 Treffer
- Hofri, Micha (1942-) 2 Treffer
- Jones, Neil D. (1941-) 2 Treffer
- Klein, Rolf (1953-) 2 Treffer
- Li, Ming (1961-) 2 Treffer
- Nerode, Anil (1932-) 2 Treffer
- Nievergelt, Jürg 2 Treffer
- Nilsson, Nils J. (1933-2019) 2 Treffer
- O'Donnell, Michael J. 2 Treffer
- Papadimitriou, Christos H. (1949-) 2 Treffer
- Paulson, Lawrence C. 2 Treffer
- Rayward-Smith, Victor John 2 Treffer
- Rytter, Wojciech (1948-) 2 Treffer
- Shore, Richard A. (1946-) 2 Treffer
- Siret, Yvon 2 Treffer
- Soltys, Michael (1971-) 2 Treffer
- Tel, Gerard 2 Treffer
- Tournier, Evelyne 2 Treffer
411 Treffer
-
New York [u.a.]: Springer, 2004Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner [u.a.], 1990Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
2., extended ed.. - Berlin [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
Hackensack, NJ [u.a.]: World Scientific Publ, 2013Monographie, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Monographie, Hochschulschrift, Gedruckte Ressource
-
Englewood Cliffs, N.J.: Prentice-Hall, 1986Monographie, Einführung, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1999Monographie, Gedruckte RessourceZugriff:
-
Boston, Mass. [u.a.]: Kluwer Acad. Publ, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Acad. Pr, 1973Monographie, Gedruckte RessourceZugriff: