Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 8 Treffer
- Datenverarbeitung 7 Treffer
- Informatik 7 Treffer
- Genetischer Algorithmus 6 Treffer
- Algorithmus 5 Treffer
-
40 weitere Werte:
- Evolutionsstrategie 3 Treffer
- Kategorientheorie 3 Treffer
- Logik 3 Treffer
- Mathematik 3 Treffer
- Automatentheorie 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Computeralgebra 2 Treffer
- Diskrete Mathematik 2 Treffer
- HOL 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Logische Programmierung 2 Treffer
- Mathematische Logik 2 Treffer
- Parallelverarbeitung 2 Treffer
- Programmiersprache 2 Treffer
- Programmierung 2 Treffer
- Verteilter Algorithmus 2 Treffer
- Verteiltes System 2 Treffer
- Analogieschluss 1 Treffer
- Beweisführung 1 Treffer
- Datenbank 1 Treffer
- Datenbanksystem 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Evolutionärer Algorithmus 1 Treffer
- Feldrechner 1 Treffer
- Grundlage 1 Treffer
- Induktionsschluss 1 Treffer
- Komplexitätstheorie 1 Treffer
- Lernendes System 1 Treffer
- Mehrwertige Logik 1 Treffer
- Neuronales Netz 1 Treffer
- Petri-Netz 1 Treffer
- Polynomialzeitalgorithmus 1 Treffer
- Primzahltest 1 Treffer
- Produktion (Informatik) 1 Treffer
- Programm 1 Treffer
- Reduktionssystem 1 Treffer
- Softwareentwicklung 1 Treffer
- Termersetzungssystem 1 Treffer
- Theorie 1 Treffer
- Zellularer Automat 1 Treffer
Sprache
Form
Person
41 Treffer
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Amsterdam ; London: North Holland Publ. Co (1987) ; New York, NY: American Elsevier (1987) ; Edinburgh: Edinburgh Univ. Press (1987) ; Berlin ; Heidelberg [u.a.]: Springer (1987), 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York: ACM [u.a.], 1999Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
New York: ACM [u.a.], 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York: Assoc. for Computing Machinery, 1989Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
San Mateo, Calif.: Kaufmann, 1993Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff: