Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 7 Treffer
- Parallelverarbeitung 4 Treffer
- HASKELL 3 Treffer
- Lambda-Kalkül 3 Treffer
- Automatische Programmierung 2 Treffer
-
20 weitere Werte:
- Compiler 2 Treffer
- Funktionale Programmiersprache 2 Treffer
- Typentheorie 2 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Computerarchitektur 1 Treffer
- Datenbanksystem 1 Treffer
- Deklarative Semantik 1 Treffer
- Functional programming (Computer science) 1 Treffer
- Funktionale Semantik 1 Treffer
- Induktion 1 Treffer
- Kategorientheorie 1 Treffer
- LISP 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Parallelrechner 1 Treffer
- Programmsynthese 1 Treffer
- Prototyping 1 Treffer
- SUGAR (Programmiersprache) 1 Treffer
- Softwareproduktionsumgebung 1 Treffer
- Spezifikation 1 Treffer
Form
Person
- Bird, Richard (1943-) 2 Treffer
- Jeuring, Johan 2 Treffer
- Thompson, Simon 2 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
-
32 weitere Werte:
- Bird, Richard 1 Treffer
- Clack, Chris 1 Treffer
- Cousineau, Guy 1 Treffer
- Davis, Kei 1 Treffer
- Freytag, Johann Christoph 1 Treffer
- Gibbons, Jeremy (1966-) 1 Treffer
- Glaser, Hugh 1 Treffer
- Hagiya, Masami (1957-) 1 Treffer
- Hammond, Kevin 1 Treffer
- Hankin, Chris 1 Treffer
- Henderson, Peter 1 Treffer
- Hu, Zhenjiang 1 Treffer
- Huet, Gérard 1 Treffer
- Kameyama, Yukiyoshi 1 Treffer
- Koopman, Petrus W. 1 Treffer
- Kuchen, Herbert 1 Treffer
- Lapalme, Guy 1 Treffer
- Lauer, Peter E. 1 Treffer
- Launchbury, John 1 Treffer
- MacLennan, Bruce J. 1 Treffer
- Mauny, Michel (1959-) 1 Treffer
- Middeldorp, Aart (1963-) 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Peyton Jones, Simon L. (1958-) 1 Treffer
- Rabhi, Fethi 1 Treffer
- Reade, Chris 1 Treffer
- Schmid, Ute 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Till, David 1 Treffer
- Turner, David A. 1 Treffer
- Vene, Varmo 1 Treffer
- Wadler, Philip 1 Treffer
35 Treffer
-
Berlin [u.a.]: Springer, 1991Sonstiges, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1998Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Monographie, Hochschulschrift, 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:
-
Cambridge: Cambridge Univ. Pr, 2015Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1990Konferenzschrift, 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, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Basingstoke [u.a.]: Palgrave Macmillan, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - London [u.a.]: Prentice Hall Europe, 1998Monographie, Gedruckte RessourceZugriff: