Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 3 Treffer
- Abstrakter Datentyp 2 Treffer
- Compiler 2 Treffer
- Funktionale Programmiersprache 2 Treffer
- Parallelverarbeitung 2 Treffer
-
12 weitere Werte:
- Deklarative Programmierung 1 Treffer
- Deklarative Semantik 1 Treffer
- Formale Methode 1 Treffer
- Funktionale Semantik 1 Treffer
- HOL 1 Treffer
- Isabelle (Programm) 1 Treffer
- Lambda-Kalkül 1 Treffer
- MODULA 2 1 Treffer
- Operationale Semantik 1 Treffer
- Relation (Informatik) 1 Treffer
- Standard ML 1 Treffer
- Typentheorie 1 Treffer
Sprache
Form
Person
- Harrison, Rachel 2 Treffer
- Jeuring, Johan 2 Treffer
- Boley, Harold 1 Treffer
- Boscarol, Mauro 1 Treffer
- Clack, Chris 1 Treffer
-
12 weitere Werte:
- Gordon, Andrew D. (1964-) 1 Treffer
- Koopman, Petrus W. 1 Treffer
- Lapalme, Guy 1 Treffer
- Launchbury, John 1 Treffer
- Nipkow, Tobias (1958-) 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Paulson, Lawrence C. 1 Treffer
- Rabhi, Fethi 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Thompson, Simon 1 Treffer
- Vene, Varmo 1 Treffer
- Wenzel, Markus 1 Treffer
16 Treffer
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1993Monographie, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Harlow, England [u.a.]: Addison-Wesley, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: