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
-
1st ed. 2023. - Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer Vieweg, 2023Online Monographie, Elektronische Ressource
-
First edition. - Boca Raton ; London ; New York: CRC Press, 2023Monographie, Gedruckte RessourceZugriff:
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Monographie, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Monographie, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Monographie, Elektronische Ressource
-
2nd ed. 2022. - Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2022Online Monographie, Elektronische Ressource
-
1st ed. 2022. - Singapore: Springer Nature Singapore, Imprint: Springer, 2022Online Monographie, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Sammelwerk, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Monographie, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Sammelwerk, Elektronische Ressource
-
2., überarbeitete und korrigierte Auflage. - Köln: Lehmanns Media, 2020Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Cambridge ; New York, NY ; Port Melbourne ; New Delhi ; Singapore: Cambridge University Press, 2020Sammelwerk, Gedruckte RessourceZugriff:
-
1st ed. 2020. - Wiesbaden: Springer Fachmedien Wiesbaden, Imprint: Springer Spektrum, 2020Online Monographie, Elektronische Ressource
-
First edition. - San Rafael, USA: Morgan & Claypool Publishers, [2019]Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 2019Monographie, Gedruckte RessourceZugriff:
-
First edition. - Oxford: Oxford University Press, 2019Monographie, Gedruckte RessourceZugriff:
-
Singapore: Springer, [2019]Monographie, Gedruckte RessourceZugriff:
-
Second edition. - Cham, Switzerland: Birkhäuser, [2018]Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Massachusetts: The MIT Press, [2018]Monographie, Gedruckte RessourceZugriff:
-
Princeton, Oxford: Princeton University Press, [2018]Monographie, Gedruckte RessourceZugriff: