Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Computeralgebra 3 Treffer
- Algorithmus 2 Treffer
- Deduktionssystem 2 Treffer
- Formale Methode 2 Treffer
- Logische Programmierung 2 Treffer
-
42 weitere Werte:
- Softwareentwicklung 2 Treffer
- Theoretische Informatik 2 Treffer
- Agent (Informatik) 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmische Lerntheorie 1 Treffer
- Approximation 1 Treffer
- Automatische Klassifikation 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Begriffsgraph 1 Treffer
- CAD 1 Treffer
- Computational logic 1 Treffer
- Computerlinguistik 1 Treffer
- Datenmodell 1 Treffer
- Datenstruktur 1 Treffer
- Deutschland 1 Treffer
- Entwurf 1 Treffer
- Fuzzifizierung 1 Treffer
- Fuzzy-Logik 1 Treffer
- Fuzzy-Regelsystem 1 Treffer
- Graphenzeichnen 1 Treffer
- Kategorientheorie 1 Treffer
- Lernendes System 1 Treffer
- Maschinelles Lernen 1 Treffer
- Metaheuristik 1 Treffer
- Metaprogrammierung 1 Treffer
- Model Checking 1 Treffer
- Multidimensionales Datenbanksystem 1 Treffer
- Natürlichsprachiges System 1 Treffer
- Online-Algorithmus 1 Treffer
- Paralleler Algorithmus 1 Treffer
- Programmanalyse 1 Treffer
- Programmverifikation 1 Treffer
- Software 1 Treffer
- Systementwicklung 1 Treffer
- Testen 1 Treffer
- Truth maintenance system 1 Treffer
- Typentheorie 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Unsicherheit 1 Treffer
- Verifikation 1 Treffer
- Verteilter Algorithmus 1 Treffer
- Zufällige Menge 1 Treffer
Sprache
Form
Person
- Goos, Gerhard (1937-2020) 6 Treffer
- Zimmermann, Wolf 6 Treffer
- Peters, James F. 2 Treffer
- Aichernig, Bernhard K. 1 Treffer
- Almeida, Francisco 1 Treffer
-
23 weitere Werte:
- Apel, Joachim 1 Treffer
- Araki, Keijirō 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Blundo, Carlo 1 Treffer
- Bläsius, Karl Hans 1 Treffer
- Bläsius, Karl Hans (1952-) 1 Treffer
- Brenner, Walter 1 Treffer
- Cormen, Thomas H. 1 Treffer
- Cosnard, Michel 1 Treffer
- Erlebach, Thomas 1 Treffer
- Gavaldà, Ricard 1 Treffer
- Hofmann, Martin 1 Treffer
- Lanzi, Pier Luca 1 Treffer
- Lawry, Jonathan 1 Treffer
- Miola, Alfonso 1 Treffer
- Ottmann, Thomas (1943-) 1 Treffer
- Pach, János 1 Treffer
- Pettorossi, Alberto 1 Treffer
- Schwichtenberg, Helmut (1942-) 1 Treffer
- Srivas, Mandayam 1 Treffer
- Stoyan, Herbert (1943-) 1 Treffer
- Wittig, Hartmut (1963-) 1 Treffer
- Zarnekow, Rüdiger (1968-) 1 Treffer
31 Treffer
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2000Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland [u.a.], 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2001Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1987Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
2., überarb. Aufl.. - Berlin [u.a.]: Springer, 1999Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Passau [u.a.], 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: