Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 7 Treffer
- Parallelverarbeitung 4 Treffer
- Compiler 2 Treffer
- Funktionale Programmiersprache 2 Treffer
- Lambda-Kalkül 2 Treffer
-
13 weitere Werte:
- Automatisches Beweisverfahren 1 Treffer
- Computerarchitektur 1 Treffer
- Deklarative Semantik 1 Treffer
- Functional programming (Computer science) 1 Treffer
- Funktionale Semantik 1 Treffer
- Kategorientheorie 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Parallelrechner 1 Treffer
- Prototyping 1 Treffer
- Softwareproduktionsumgebung 1 Treffer
- Spezifikation 1 Treffer
- Typentheorie 1 Treffer
Form
Person
- Jeuring, Johan 2 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Clack, Chris 1 Treffer
- Davis, Kei 1 Treffer
-
16 weitere Werte:
- Gibbons, Jeremy (1966-) 1 Treffer
- Hagiya, Masami (1957-) 1 Treffer
- Hammond, Kevin 1 Treffer
- Hu, Zhenjiang 1 Treffer
- Huet, Gérard 1 Treffer
- Kameyama, Yukiyoshi 1 Treffer
- Koopman, Petrus W. 1 Treffer
- Kuchen, Herbert 1 Treffer
- Lauer, Peter E. 1 Treffer
- Launchbury, John 1 Treffer
- Middeldorp, Aart (1963-) 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Peyton Jones, Simon L. (1958-) 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Turner, David A. 1 Treffer
- Vene, Varmo 1 Treffer
22 Treffer
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Basingstoke [u.a.]: Palgrave Macmillan, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Sonstiges, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1989Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: