Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 3 Treffer
- Datenverarbeitung 2 Treffer
- Logische Programmierung 2 Treffer
- Programmierung 2 Treffer
- Semantik 2 Treffer
-
23 weitere Werte:
- Algorithmus 1 Treffer
- Baumautomat 1 Treffer
- Bewachte Logik 1 Treffer
- Büchi-Automat 1 Treffer
- Data Mining 1 Treffer
- Deduktion 1 Treffer
- Digitalschaltung 1 Treffer
- Hardwareentwurf 1 Treffer
- Leistungsbewertung 1 Treffer
- Mathematische Logik 1 Treffer
- Mehrwertige Logik 1 Treffer
- Model Checking 1 Treffer
- Monade (Mathematik) 1 Treffer
- My-Kalkül 1 Treffer
- Natürliche Sprache 1 Treffer
- Programmierlogik 1 Treffer
- Sprachverarbeitung 1 Treffer
- Stufe 2 1 Treffer
- Telekommunikationsnetz 1 Treffer
- Theoretische Informatik 1 Treffer
- Unendliches Spiel 1 Treffer
- Verteiltes System 1 Treffer
- Zweipersonenspiel 1 Treffer
Sprache
Form
Person
10 Treffer
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1977Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, Mass. [u.a.]: Birkhäuser, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1979Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1990Monographie, Einführung, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier [u.a.], 1997Sammelwerk, Gedruckte RessourceZugriff:
-
Edinburgh: Univ. Press, 1979Monographie, Gedruckte RessourceZugriff: