Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Algorithmus 12 Treffer
- Datenverarbeitung 7 Treffer
- Logische Programmierung 7 Treffer
- Beweistheorie 5 Treffer
- Reduktionssystem 5 Treffer
-
45 weitere Werte:
- Typentheorie 5 Treffer
- Abstraktion 4 Treffer
- Algebraische Spezifikation 4 Treffer
- Mathematische Logik 4 Treffer
- Rekursion 4 Treffer
- Termersetzungssystem 4 Treffer
- Typsystem 4 Treffer
- Algebra 3 Treffer
- Approximation 3 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Constraint-Erfüllung 3 Treffer
- Formulierung 3 Treffer
- Korrektur 3 Treffer
- Maschinelles Lernen 3 Treffer
- Model Checking 3 Treffer
- Programmiersprache 3 Treffer
- Baum (Mathematik) 2 Treffer
- Berechenbarkeit 2 Treffer
- Datenstruktur 2 Treffer
- Entwurf 2 Treffer
- Formale Methode 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Logik 2 Treffer
- Mathematik 2 Treffer
- Programmverifikation 2 Treffer
- Verifikation 2 Treffer
- Algorithmentheorie 1 Treffer
- Algorithmus / Datenstruktur 1 Treffer
- Automatentheorie 1 Treffer
- Berechenbare Funktion 1 Treffer
- Berechnungstheorie 1 Treffer
- Computer 1 Treffer
- Dekomposition 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Fließkommarechnung 1 Treffer
- Formale Sprache 1 Treffer
- Gene Expression / congresses 1 Treffer
- Genetischer Algorithmus 1 Treffer
- Gleichungssystem 1 Treffer
- Gleitkommarechnung 1 Treffer
- Grundlage 1 Treffer
- Induktion 1 Treffer
- Induktive Logik 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Komplexität 1 Treffer
Sprache
Form
Person
- Manna, Zohar 3 Treffer
- Waldinger, Richard 3 Treffer
- Aho, Alfred V. (1941-) 2 Treffer
- Barron, David W. (1935-) 2 Treffer
- Berlioux, Pierre 2 Treffer
-
45 weitere Werte:
- Bizard, Philippe 2 Treffer
- Hanus, Michael 2 Treffer
- Hopcroft, John E. (1939-) 2 Treffer
- Ullman, Jeffrey D. (1942-) 2 Treffer
- Šen, Aleksandr Ch (1958-) 2 Treffer
- Adel'son-Vel'skij, Georgij M. 1 Treffer
- Amstel, J. J. van 1 Treffer
- Arbib, Michael A. (1940-) 1 Treffer
- Arlazarov, Vladimir L. 1 Treffer
- Arnold, André (1945-) 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Berardi, Stefano 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Börger, Egon 1 Treffer
- Callaghan, Paul 1 Treffer
- Choueiry, Berthe Y. 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
- Danvy, Olivier 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Dittmer, Ingo (1950-) 1 Treffer
- Dix, Jürgen 1 Treffer
- Donskoj, M. V. 1 Treffer
- Filliâtre, Jean-Christophe 1 Treffer
- Geuvers, Herman 1 Treffer
- Goodman, Seymour E. 1 Treffer
- Grabowski, Jan 1 Treffer
- Hailpern, Brent T. 1 Treffer
- Hedetniemi, Stephen T. 1 Treffer
- Iyengar, S. S. (1947-) 1 Treffer
- Johnson, David S. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kaldewaij, Anne 1 Treffer
- Kfoury, Assaf J. 1 Treffer
- Kirchner, Hélène 1 Treffer
- Koenig, Sven 1 Treffer
- Kowalski, Robert (1941-) 1 Treffer
- Kowalski, Thaddeus J. 1 Treffer
- Koza, John R. 1 Treffer
- Leach Albert, Javier 1 Treffer
- Levi, Giorgio (1942-) 1 Treffer
- Levy, Leon S. 1 Treffer
- Machtey, Michael 1 Treffer
- Maher, Michael 1 Treffer
- Moll, Robert N. 1 Treffer
- Montanari, Ugo (1943-) 1 Treffer
56 Treffer
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. print.. - Reading, Mass. [u.a.]: Addison-Wesley, 1975Monographie, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1990Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Reading, Mass [u.a.]: Addison-Wesley, 1988Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Boston [u.a.]: Academic Pr, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Repr. with corr.. - Reading, Mass. [u.a.]: Addison-Wesley, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: North Holland, 1980Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: