Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 171 Treffer
- Logische Programmierung 102 Treffer
- Automatisches Beweisverfahren 94 Treffer
- Theoretische Informatik 72 Treffer
- Komplexitätstheorie 60 Treffer
-
45 weitere Werte:
- Informatik 51 Treffer
- Künstliche Intelligenz 50 Treffer
- Berechnungskomplexität 49 Treffer
- Mathematische Logik 48 Treffer
- Computeralgebra 42 Treffer
- Programmierung 39 Treffer
- Datenstruktur 38 Treffer
- Maschinelles Lernen 38 Treffer
- Kombinatorische Optimierung 37 Treffer
- Algorithmische Geometrie 35 Treffer
- Logik 33 Treffer
- Graphentheorie 32 Treffer
- Berechenbarkeit 28 Treffer
- Algorithmentheorie 25 Treffer
- Genetischer Algorithmus 25 Treffer
- Kombinatorik 25 Treffer
- Verteilter Algorithmus 25 Treffer
- Softwareentwicklung 24 Treffer
- Verteiltes System 24 Treffer
- Beweistheorie 23 Treffer
- Datenverarbeitung 22 Treffer
- Verifikation 22 Treffer
- Berechnungstheorie 21 Treffer
- Evolutionärer Algorithmus 21 Treffer
- Programmierlogik 21 Treffer
- Formale Methode 20 Treffer
- Wissensrepräsentation 20 Treffer
- Parallelverarbeitung 19 Treffer
- Approximationsalgorithmus 18 Treffer
- Computational logic 18 Treffer
- Inferenz (Künstliche Intelligenz) 18 Treffer
- Paralleler Algorithmus 17 Treffer
- Datenbanksystem 16 Treffer
- Soft Computing 16 Treffer
- Constraint-Programmierung 15 Treffer
- Data Mining 15 Treffer
- Nichtmonotones Schließen 15 Treffer
- HOL 14 Treffer
- Typentheorie 14 Treffer
- Algebra 13 Treffer
- Induktive Logik 13 Treffer
- Model Checking 13 Treffer
- Mustervergleich 13 Treffer
- Optimierung 13 Treffer
- Programmiersprache 13 Treffer
Sprache
Form
Person
- Gabbay, Dov M. (1945-) 12 Treffer
- Dehne, Frank (1960-) 9 Treffer
- Börger, Egon 7 Treffer
- Calmet, Jacques 7 Treffer
- Dix, Jürgen 7 Treffer
-
45 weitere Werte:
- Knuth, Donald Ervin (1938-) 7 Treffer
- Sedgewick, Robert (1946-) 7 Treffer
- Abramsky, Samson (1953-) 6 Treffer
- Jansen, Klaus 6 Treffer
- Wang, Lipo 6 Treffer
- Akiyama, Jin (1946-) 5 Treffer
- Bibel, Wolfgang 5 Treffer
- Calude, Cristian (1952-) 5 Treffer
- Díaz, Josep (1950-) 5 Treffer
- Hromkovič, Juraj (1958-) 5 Treffer
- Huang, De-Shuang 5 Treffer
- Nerode, Anil (1932-) 5 Treffer
- Blackburn, Patrick 4 Treffer
- Brucker, Peter (1942-) 4 Treffer
- Burke, Edmund 4 Treffer
- Cormen, Thomas H. 4 Treffer
- Downey, R. G. (1957-) 4 Treffer
- Du, Dingzhu (1948-) 4 Treffer
- Gottlob, Georg 4 Treffer
- Jones, Neil D. (1941-) 4 Treffer
- Kozen, Dexter (1951-) 4 Treffer
- Leeuwen, Jan van 4 Treffer
- Michalewicz, Zbigniew (1952-) 4 Treffer
- Pardalos, Panos M. (1954-) 4 Treffer
- Siekmann, Jörg 4 Treffer
- Sussman, Julie 4 Treffer
- Aho, Alfred V. (1941-) 3 Treffer
- Apostolico, Alberto (1948-) 3 Treffer
- Apt, Krzysztof R. (1949-) 3 Treffer
- Asano, Tetsuo 3 Treffer
- Aït-Kaci, Hassan 3 Treffer
- Baader, Franz (1959-) 3 Treffer
- Baase, Sara 3 Treffer
- Balcázar, José Luis 3 Treffer
- Bundy, Alan 3 Treffer
- Crochemore, Maxime (1947-) 3 Treffer
- Davenport, James Harold 3 Treffer
- Deprettere, Ed F. (1944-) 3 Treffer
- Dorigo, Marco 3 Treffer
- Dyckhoff, Roy 3 Treffer
- Fossorier, Marc (1964-) 3 Treffer
- Harel, David 3 Treffer
- Hartmanis, Juris 3 Treffer
- Hopcroft, John E. (1939-) 3 Treffer
- Kirchner, Hélène 3 Treffer
1.340 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1988Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1982Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
[Nachdr.]. - Boston, MA [u.a.]: PWS Publ, [20]02Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York: van Nostrand Reinhold, 1991Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Boston [u.a.]: Acad. Press, [19]87Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: