Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
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
-
3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2000Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
3., überarb. und erw. Aufl.. - München: Oldenbourg, 2010Lehrbuch, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Heidelberg [u.a.]: Spektrum, Akad. Verl, 1998Aufgabensammlung, Sammelwerk, Gedruckte Ressource, Elektronische Ressource, CD-ROMZugriff:
-
2. völlig überarb. u. erw. Aufl.. - München [u.a.]: Oldenbourg, 1992Sammelwerk, 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, 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:
-
Berlin [u.a.]: Springer, 1998Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Passau [u.a.], 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: