Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logik 6 Treffer
- Informatik 5 Treffer
- Berechenbarkeit 4 Treffer
- Prädikatenlogik 4 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
-
12 weitere Werte:
- Algorithmus 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Datenverarbeitung 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Formale Methode 1 Treffer
- Logische Programmierung 1 Treffer
- Mathematische Logik 1 Treffer
- Programmierung 1 Treffer
- Rekursionstheorie 1 Treffer
- Verifikation 1 Treffer
- Verteiltes System 1 Treffer
Sprache
Form
Person
13 Treffer
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
3., verb. und erw. Aufl.. - Braunschweig [u.a.]: Vieweg, 1992Monographie, Gedruckte RessourceZugriff:
-
2., berichtigte Aufl.. - Braunschweig [u.a.]: Vieweg, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Aachen: Techn. Hochsch, 1978Monographie, Gedruckte RessourceZugriff: