Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 11 Treffer
- Informatik 10 Treffer
- Datenverarbeitung 9 Treffer
- Algorithmus 8 Treffer
- Theoretische Informatik 6 Treffer
-
45 weitere Werte:
- Automatisches Beweisverfahren 5 Treffer
- Computeralgebra 5 Treffer
- Mathematische Logik 5 Treffer
- Programmierung 5 Treffer
- Kategorientheorie 4 Treffer
- Komplexitätstheorie 4 Treffer
- Logik 4 Treffer
- Kombinatorik 3 Treffer
- Mathematik 3 Treffer
- Numerische Mathematik 3 Treffer
- Paralleler Algorithmus 3 Treffer
- Verteiltes System 3 Treffer
- Algorithmentheorie 2 Treffer
- Computerarchitektur 2 Treffer
- Computerarithmetik 2 Treffer
- Datenbanksystem 2 Treffer
- Evolutionärer Algorithmus 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Maschinelles Lernen 2 Treffer
- Nichtmonotones Schließen 2 Treffer
- Optimierung 2 Treffer
- Parallelrechner 2 Treffer
- Programmverifikation 2 Treffer
- Softwareentwicklung 2 Treffer
- VLSI 2 Treffer
- Verteilter Algorithmus 2 Treffer
- Algebra 1 Treffer
- Analogie 1 Treffer
- Analogieschluss 1 Treffer
- Analysis 1 Treffer
- Approximation 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Berechenbare Funktion 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Biologisches System 1 Treffer
- CMOS 1 Treffer
- Compiler 1 Treffer
- Computational logic 1 Treffer
- Computerunterstützter Unterricht 1 Treffer
- Constraint (Künstliche Intelligenz) 1 Treffer
- Datenbank 1 Treffer
- Datenstruktur 1 Treffer
- Deduktives Datenbanksystem 1 Treffer
- Endliche Menge 1 Treffer
Form
Person
- Broy, Manfred (1949-) 2 Treffer
- Angeline, Peter J. 1 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Ausiello, Giorgio (1941-) 1 Treffer
- Baader, Franz 1 Treffer
-
45 weitere Werte:
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Be'ērî, Qatrîēl (1943-) 1 Treffer
- Beierle, Christoph (1954-) 1 Treffer
- Bertoni, Alberto 1 Treffer
- Birtwistle, Graham M. (1939-) 1 Treffer
- Brazdil, Pavel B. 1 Treffer
- Burkard, Rainer E. (1943-) 1 Treffer
- Börger, Egon 1 Treffer
- Carnielli, Walter A. 1 Treffer
- Christaller, Thomas (1949-) 1 Treffer
- Chudnovsky, David (1947-) 1 Treffer
- Claesen, Luc J. 1 Treffer
- Clement, Timothy Paul 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- Du, Dingzhu (1948-) 1 Treffer
- Fogel, Lawrence J. 1 Treffer
- Goles, Eric 1 Treffer
- Grauer, Manfred (1945-) 1 Treffer
- Houstis, Elias N. 1 Treffer
- Huet, Gérard 1 Treffer
- Immerman, Neil (1953-) 1 Treffer
- Janicki, Ryszard 1 Treffer
- Johnson, David S. 1 Treffer
- Johnson, Jeffrey H. 1 Treffer
- Kirchner, Claude 1 Treffer
- Koza, John R. 1 Treffer
- Lau, Kung-Kiu 1 Treffer
- Lloyd, John 1 Treffer
- Lloyd, John W. (1947-) 1 Treffer
- MacGeoch, Lyle A. 1 Treffer
- Maher, Michael (1933-) 1 Treffer
- Mason, John C. 1 Treffer
- Mccune, William 1 Treffer
- Meyer, Kenneth R. (1937-) 1 Treffer
- Minker, Jack 1 Treffer
- Moonen, Marc S. (1963-) 1 Treffer
- Moore, Ramon E. (1929-) 1 Treffer
- Moschovakis, Yiannis N. (1938-) 1 Treffer
- Männer, Reinhard 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Pereira, Luís Moniz (1947-) 1 Treffer
- Purushothaman, Sahasranaman (1957-) 1 Treffer
- Quinton, Patrice 1 Treffer
- Rival, Ivan 1 Treffer
- Robbiano, Lorenzo (1944-) 1 Treffer
71 Treffer
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
New York [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Beijing: Science Pr. [u.a.], 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Providence, RI: American Mathematical Society, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Academic Pr, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge Univ. Press, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Boston [u.a.]: Academic Pr, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: