Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Genetischer Algorithmus 6 Treffer
- Theoretische Informatik 4 Treffer
- Algorithmus 3 Treffer
- Evolutionsstrategie 3 Treffer
- Automatentheorie 2 Treffer
-
22 weitere Werte:
- Automatisches Beweisverfahren 2 Treffer
- Diskrete Mathematik 2 Treffer
- HOL 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Logische Programmierung 2 Treffer
- Parallelverarbeitung 2 Treffer
- Programmiersprache 2 Treffer
- Programmierung 2 Treffer
- Beweisführung 1 Treffer
- Computeralgebra 1 Treffer
- Datenverarbeitung 1 Treffer
- Evolutionärer Algorithmus 1 Treffer
- Feldrechner 1 Treffer
- Komplexitätstheorie 1 Treffer
- Logik 1 Treffer
- Mathematik 1 Treffer
- Mathematische Logik 1 Treffer
- Mehrwertige Logik 1 Treffer
- Neuronales Netz 1 Treffer
- Programm 1 Treffer
- Softwareentwicklung 1 Treffer
- Zellularer Automat 1 Treffer
Form
25 Treffer
-
Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquiumBerlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1993Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1993Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
San Mateo, Calif.: Kaufmann, 1991Einführung, Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, 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:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1996Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, 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: