Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Automatisches Beweisverfahren 2 Treffer
- Formale Methode 2 Treffer
- Softwareentwicklung 2 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
-
12 weitere Werte:
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Entscheidbarkeit 1 Treffer
- Gleichungstheorie 1 Treffer
- Logische Programmierung 1 Treffer
- Logischer Schluss 1 Treffer
- Mathematische Logik 1 Treffer
- Objektorientierung 1 Treffer
- Programmanalyse 1 Treffer
- Programmierung 1 Treffer
- Programmtransformation 1 Treffer
- SIMULA 1 Treffer
- Theoretische Informatik 1 Treffer
Sprache
Form
Person
5 Treffer
-
The essence of computation: complexity, analysis, transformation ; essays dedicated to Neil D. JonesBerlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Festschrift, Aufsatzsammlung, Bibliografie, Sammelwerk, Gedruckte RessourceZugriff: