Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Logische Programmierung 7 Treffer
- HASKELL 5 Treffer
- Computerarchitektur 4 Treffer
- Funktionale Programmiersprache 4 Treffer
- Lambda-Kalkül 4 Treffer
-
31 weitere Werte:
- Parallelverarbeitung 4 Treffer
- Automatische Programmierung 2 Treffer
- Compiler 2 Treffer
- Miranda (Programmiersprache) 2 Treffer
- Standard ML 2 Treffer
- Typentheorie 2 Treffer
- ALICE (Programmiersprache) 1 Treffer
- Abstrakter Datentyp 1 Treffer
- Algorithmische Programmierung 1 Treffer
- Algorithmus 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Datenbanksystem 1 Treffer
- Datenstruktur 1 Treffer
- Deklarative Semantik 1 Treffer
- Functional programming (Computer science) 1 Treffer
- Funktionale Semantik 1 Treffer
- Graph-Grammatik 1 Treffer
- Induktion 1 Treffer
- Kategorientheorie 1 Treffer
- LISP 1 Treffer
- Modellierung 1 Treffer
- Nebenläufigkeit 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Operationale Semantik 1 Treffer
- Parallelrechner 1 Treffer
- Programmsynthese 1 Treffer
- Prototyping 1 Treffer
- SUGAR (Programmiersprache) 1 Treffer
- Softwareproduktionsumgebung 1 Treffer
- Softwarewerkzeug 1 Treffer
- Spezifikation 1 Treffer
Sprache
Form
Person
- Bird, Richard (1943-) 3 Treffer
- Thompson, Simon 3 Treffer
- Clack, Chris 2 Treffer
- Jeuring, Johan 2 Treffer
- Pepper, Peter 2 Treffer
-
45 weitere Werte:
- Aiglstorfer, Gerd 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Bird, Richard 1 Treffer
- Cousineau, Guy 1 Treffer
- Davis, Kei 1 Treffer
- Eisenbach, Susan 1 Treffer
- Erwig, Martin (1963-) 1 Treffer
- Field, Anthony J. 1 Treffer
- Freytag, Johann Christoph 1 Treffer
- Gibbons, Jeremy (1966-) 1 Treffer
- Glaser, Hugh 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Hagiya, Masami (1957-) 1 Treffer
- Hammond, Kevin 1 Treffer
- Hankin, Chris 1 Treffer
- Harrison, Peter G. 1 Treffer
- Harrison, Rachel 1 Treffer
- Henderson, Peter 1 Treffer
- Hinze, Ralf (1965-) 1 Treffer
- Hu, Zhenjiang 1 Treffer
- Hubwieser, Peter (1955-) 1 Treffer
- Huet, Gérard 1 Treffer
- Kameyama, Yukiyoshi 1 Treffer
- Koopman, Petrus W. 1 Treffer
- Koopman, Philip J. 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
- Michaelson, Greg 1 Treffer
- Middeldorp, Aart (1963-) 1 Treffer
- Myers, Colin (1953-) 1 Treffer
- Mühling, Andreas 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Paulson, Lawrence C. 1 Treffer
- Peyton Jones, Simon L. (1958-) 1 Treffer
- Poon, Ellen 1 Treffer
- Rabhi, Fethi 1 Treffer
- Reade, Chris 1 Treffer
- Runciman, Colin 1 Treffer
- Schmid, Ute 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
53 Treffer
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Chichester: Ellis Horwood [u.a.], 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - London [u.a.]: Prentice Hall Europe, 1998Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1989Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Reading, Mass. [u.a.]: Addison-Wesley, 1990Monographie, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ [u.a.]: Prentice Hall Intern, 1980Monographie, 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:
-
Englewood Cliffs [u.a.]: Prentice-Hall, 1984Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Harlow, England [u.a.]: Addison Wesley, 1999Monographie, Gedruckte RessourceZugriff:
-
London: UCL Press, 1995Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1994Monographie, Gedruckte RessourceZugriff: