Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 27 Treffer
- Logische Programmierung 22 Treffer
- Informatik 17 Treffer
- Mathematische Logik 16 Treffer
- Programmierung 15 Treffer
-
45 weitere Werte:
- Künstliche Intelligenz 14 Treffer
- Automatisches Beweisverfahren 13 Treffer
- Datenverarbeitung 12 Treffer
- Komplexitätstheorie 11 Treffer
- Paralleler Algorithmus 10 Treffer
- Computeralgebra 8 Treffer
- Datenstruktur 7 Treffer
- Logik 7 Treffer
- Theoretische Informatik 7 Treffer
- Berechnungskomplexität 6 Treffer
- Kategorientheorie 5 Treffer
- Nichtmonotones Schließen 5 Treffer
- Problemlösen 5 Treffer
- Berechenbarkeit 4 Treffer
- Funktionale Programmiersprache 4 Treffer
- Lambda-Kalkül 4 Treffer
- Maschinelles Lernen 4 Treffer
- Mathematik 4 Treffer
- Parallelverarbeitung 4 Treffer
- Programmverifikation 4 Treffer
- Berechnungstheorie 3 Treffer
- C (Programmiersprache) 3 Treffer
- Expertensystem 3 Treffer
- Formale Sprache 3 Treffer
- Genetischer Algorithmus 3 Treffer
- Kombinatorik 3 Treffer
- Komplexität 3 Treffer
- Numerische Mathematik 3 Treffer
- Typentheorie 3 Treffer
- Verteilter Algorithmus 3 Treffer
- Verteiltes System 3 Treffer
- Algorithmentheorie 2 Treffer
- Anwendung 2 Treffer
- Computer 2 Treffer
- Computerarchitektur 2 Treffer
- Computerarithmetik 2 Treffer
- Datenbanksystem 2 Treffer
- Deduktion 2 Treffer
- Deduktives Datenbanksystem 2 Treffer
- Effizienter Algorithmus 2 Treffer
- Evolutionärer Algorithmus 2 Treffer
- Formale Semantik 2 Treffer
- Graph 2 Treffer
- Grundlage 2 Treffer
- HOL 2 Treffer
Form
Person
- Aho, Alfred V. (1941-) 3 Treffer
- Apt, Krzysztof R. (1949-) 3 Treffer
- Börger, Egon 3 Treffer
- Sedgewick, Robert (1946-) 3 Treffer
- Beierle, Christoph (1954-) 2 Treffer
-
45 weitere Werte:
- Berlioux, Pierre 2 Treffer
- Bibel, Wolfgang 2 Treffer
- Bizard, Philippe 2 Treffer
- Broy, Manfred (1949-) 2 Treffer
- Chaitin, Gregory J. (1947-) 2 Treffer
- Gallier, Jean H. (1949-) 2 Treffer
- Gonnet, Gastón H. 2 Treffer
- Hopcroft, John E. (1939-) 2 Treffer
- Johnson, David S. 2 Treffer
- Kirchner, Claude 2 Treffer
- Ko, Ker-I 2 Treffer
- Péter, Rozsa 2 Treffer
- Ullman, Jeffrey D. (1942-) 2 Treffer
- Adel'son-Vel'skij, Georgij M. 1 Treffer
- Akritas, Alkiviadis G. 1 Treffer
- Albertson, Michael O. 1 Treffer
- Amstel, J. J. van 1 Treffer
- Andrews, James H. 1 Treffer
- Andrews, Peter B. 1 Treffer
- Angeline, Peter J. 1 Treffer
- Aoe, Jun-ichi 1 Treffer
- Arlazarov, Vladimir L. 1 Treffer
- Ausiello, Giorgio (1941-) 1 Treffer
- Baader, Franz 1 Treffer
- Back, R. J. R. 1 Treffer
- Baeza-Yates, Ricardo 1 Treffer
- Barringer, Howard 1 Treffer
- Barron, David W. (1935-) 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Be'ērî, Qatrîēl (1943-) 1 Treffer
- Beigel, Richard 1 Treffer
- Bertoni, Alberto 1 Treffer
- Birtwistle, Graham M. (1939-) 1 Treffer
- Biundo, Susanne 1 Treffer
- Bläsius, Karl Hans (1952-) 1 Treffer
- Bol, Roland N. 1 Treffer
- Book, Ronald V. 1 Treffer
- Borodin, Allan 1 Treffer
- Bowman, Charles F. 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Braunmühl, Burchard von (1941-) 1 Treffer
- Brazdil, Pavel B. 1 Treffer
- Brenner, Walter 1 Treffer
- Brillowski, Claus 1 Treffer
- Brookshear, J. Glenn 1 Treffer
240 Treffer
-
Oxford: Clarendon Press, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Pitman, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North Holland, 1995Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. [Dr.]. - New York [u.a.]: Prentice Hall, 1990Monographie, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1995Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1990Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Wokingham [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Boston, [Mass.] [u.a.]: Acad. Pr, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Bibliografie, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York: Computer Science Pr, 1989Monographie, Gedruckte RessourceZugriff:
-
London: Pitman [u.a.], 1986Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Chichester [u.a.]: Wiley, 1987Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Harper & Row, 1986Monographie, Gedruckte RessourceZugriff: