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
-
New York [u.a.]: Horwood, 1990Monographie, Gedruckte RessourceZugriff:
-
1. ed., 1. print.. - Blue Ridge Summit, Pa.: TAB Professional and Reference Books, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Monographie, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1983Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Boston, Mass [u.a.]: Kluwer, 1996Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge University Press, 2000Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: McGraw-Hill, 1990Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Oxford: Oxford Univ. Pr. [u.a.], 1987Monographie, Gedruckte RessourceZugriff:
-
Repr. with corr., 21. [Dr.]. - Reading, Mass. [u.a.]: Addison-Wesley, [19]91Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientific Publ. Co, 1987Monographie, Aufgabensammlung, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: IOS-Press, 1996Sammelwerk, Gedruckte RessourceZugriff: