Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Algorithmus 229 Treffer
- Logische Programmierung 127 Treffer
- Automatisches Beweisverfahren 116 Treffer
- Theoretische Informatik 84 Treffer
- Komplexitätstheorie 83 Treffer
-
45 weitere Werte:
- Mathematische Logik 72 Treffer
- Informatik 68 Treffer
- Künstliche Intelligenz 68 Treffer
- Berechnungskomplexität 56 Treffer
- Datenstruktur 56 Treffer
- Programmierung 56 Treffer
- Computeralgebra 53 Treffer
- Maschinelles Lernen 44 Treffer
- Logik 42 Treffer
- Graphentheorie 40 Treffer
- Berechenbarkeit 39 Treffer
- Kombinatorische Optimierung 39 Treffer
- Algorithmische Geometrie 35 Treffer
- Datenverarbeitung 35 Treffer
- Paralleler Algorithmus 32 Treffer
- Verteilter Algorithmus 31 Treffer
- Algorithmentheorie 30 Treffer
- Genetischer Algorithmus 30 Treffer
- Berechnungstheorie 29 Treffer
- Kombinatorik 28 Treffer
- Softwareentwicklung 28 Treffer
- Verteiltes System 27 Treffer
- Beweistheorie 24 Treffer
- Evolutionärer Algorithmus 24 Treffer
- Parallelverarbeitung 24 Treffer
- Verifikation 24 Treffer
- Formale Methode 23 Treffer
- Nichtmonotones Schließen 22 Treffer
- Wissensrepräsentation 22 Treffer
- Programmierlogik 21 Treffer
- Approximationsalgorithmus 20 Treffer
- Computational logic 20 Treffer
- Effizienter Algorithmus 19 Treffer
- Formale Sprache 19 Treffer
- Inferenz (Künstliche Intelligenz) 19 Treffer
- Automatentheorie 18 Treffer
- Datenbanksystem 18 Treffer
- Typentheorie 18 Treffer
- Numerische Mathematik 17 Treffer
- Soft Computing 17 Treffer
- HOL 16 Treffer
- Mathematik 16 Treffer
- Algebra 15 Treffer
- Algorithms 15 Treffer
- Constraint-Programmierung 15 Treffer
Sprache
Form
Person
- Sedgewick, Robert (1946-) 15 Treffer
- Börger, Egon 13 Treffer
- Gabbay, Dov M. (1945-) 12 Treffer
- Dehne, Frank (1960-) 9 Treffer
- Knuth, Donald Ervin (1938-) 8 Treffer
-
45 weitere Werte:
- Zimmermann, Wolf 8 Treffer
- Bibel, Wolfgang 7 Treffer
- Calmet, Jacques 7 Treffer
- Dix, Jürgen 7 Treffer
- Hopcroft, John E. (1939-) 7 Treffer
- Ullman, Jeffrey D. (1942-) 7 Treffer
- Abramsky, Samson (1953-) 6 Treffer
- Aho, Alfred V. (1941-) 6 Treffer
- Apt, Krzysztof R. (1949-) 6 Treffer
- Goos, Gerhard (1937-2020) 6 Treffer
- Hromkovič, Juraj (1958-) 6 Treffer
- Jansen, Klaus 6 Treffer
- Nerode, Anil (1932-) 6 Treffer
- Wang, Lipo 6 Treffer
- Widmayer, Peter (1953-) 6 Treffer
- Akiyama, Jin (1946-) 5 Treffer
- Calude, Cristian (1952-) 5 Treffer
- Cormen, Thomas H. 5 Treffer
- Du, Dingzhu (1948-) 5 Treffer
- Díaz, Josep (1950-) 5 Treffer
- Huang, De-Shuang 5 Treffer
- Ottmann, Thomas (1943-) 5 Treffer
- Peters, James F. 5 Treffer
- Schöning, Uwe (1955-) 5 Treffer
- Beierle, Christoph (1954-) 4 Treffer
- Blackburn, Patrick 4 Treffer
- Broy, Manfred (1949-) 4 Treffer
- Brucker, Peter (1942-) 4 Treffer
- Burke, Edmund 4 Treffer
- Downey, R. G. (1957-) 4 Treffer
- Gottlob, Georg 4 Treffer
- Johnson, David S. 4 Treffer
- Jones, Neil D. (1941-) 4 Treffer
- Kern-Isberner, Gabriele (1956-) 4 Treffer
- Kowalski, Robert (1941-) 4 Treffer
- Kozen, Dexter (1951-) 4 Treffer
- Lanzi, Pier Luca 4 Treffer
- Leeuwen, Jan van 4 Treffer
- Meinel, Christoph (1954-) 4 Treffer
- Michalewicz, Zbigniew (1952-) 4 Treffer
- Pardalos, Panos M. (1954-) 4 Treffer
- Richter, Michael M. (1938-2020) 4 Treffer
- Siekmann, Jörg 4 Treffer
- Sussman, Julie 4 Treffer
- Tel, Gerard 4 Treffer
1.740 Treffer
-
Cambridge, Mass. [u.a.]: MIT Press, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. Auflage. - Bonn: Addison-Wesley Publishing Company, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Repr. with corr.. - Reading, Mass. [u.a.]: Addison-Wesley, 1987Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: