Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 2 Treffer
- Berechnungskomplexität 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Approximation 1 Treffer
-
11 weitere Werte:
- Biocomputer 1 Treffer
- Deduktionssystem 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Hardwareentwurf 1 Treffer
- Hardwareverifikation 1 Treffer
- Komplexitätstheorie 1 Treffer
- Programmanalyse 1 Treffer
- Programmierung 1 Treffer
- Programmtransformation 1 Treffer
- Randomisierung 1 Treffer
- Turing-Maschine 1 Treffer
Sprache
Form
Person
8 Treffer
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
The essence of computation: complexity, analysis, transformation ; essays dedicated to Neil D. JonesBerlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: