Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Funktionale Programmiersprache 3 Treffer
- Programmiersprache 3 Treffer
- Programmierung 3 Treffer
- Programmverifikation 3 Treffer
- Programmanalyse 2 Treffer
-
12 weitere Werte:
- Programmtransformation 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Computeralgebra 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Programmierung 1 Treffer
- Implementation 1 Treffer
- Lambda-Kalkül 1 Treffer
- Logische Programmierung 1 Treffer
- Mathematische Logik 1 Treffer
- Programmierparadigma 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
Sprache
Form
Person
11 Treffer
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2005Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: McGraw-Hill, 1991Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Pr, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2002Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff: