Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Datenverarbeitung 7 Treffer
- Informatik 7 Treffer
- Genetischer Algorithmus 6 Treffer
- Algorithmus 5 Treffer
- Theoretische Informatik 5 Treffer
-
42 weitere Werte:
- Evolutionsstrategie 3 Treffer
- Kategorientheorie 3 Treffer
- Logik 3 Treffer
- Mathematik 3 Treffer
- Parallelrechner 3 Treffer
- Parallelverarbeitung 3 Treffer
- Programmiersprache 3 Treffer
- Algebraische Struktur 2 Treffer
- Automatentheorie 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Gleichung 2 Treffer
- HOL 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Logische Programmierung 2 Treffer
- Numerisches Verfahren 2 Treffer
- Programmierung 2 Treffer
- VLSI 2 Treffer
- Verteilter Algorithmus 2 Treffer
- Verteiltes System 2 Treffer
- Analogieschluss 1 Treffer
- Beweisführung 1 Treffer
- Computeralgebra 1 Treffer
- Computerarchitektur 1 Treffer
- Datenbank 1 Treffer
- Datenbanksystem 1 Treffer
- Evolutionärer Algorithmus 1 Treffer
- Feldrechner 1 Treffer
- Formale Methode 1 Treffer
- Grundlage 1 Treffer
- Induktionsschluss 1 Treffer
- Lernendes System 1 Treffer
- Mathematische Logik 1 Treffer
- Neuronales Netz 1 Treffer
- Petri-Netz 1 Treffer
- Produktion (Informatik) 1 Treffer
- Programm 1 Treffer
- Reduktionssystem 1 Treffer
- Softwareentwicklung 1 Treffer
- Systementwicklung 1 Treffer
- Termersetzungssystem 1 Treffer
- Theorie 1 Treffer
- Zellularer Automat 1 Treffer
Sprache
Form
Person
42 Treffer
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, 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:
-
Berlin, Heidelberg [u.a]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1991Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
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:
-
Amsterdam [u.a.]: Elsevier, 1991Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
San Mateo, Calif.: Kaufmann, 1993Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff: