Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 8 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithmentheorie 1 Treffer
- Algorithmische Programmierung 1 Treffer
- Anwendungssystem 1 Treffer
-
29 weitere Werte:
- Aspektorientierte Programmierung 1 Treffer
- Automatische Programmierung 1 Treffer
- CAD 1 Treffer
- Deklarative Programmierung 1 Treffer
- Deklarative Semantik 1 Treffer
- Dynamische Optimierung 1 Treffer
- Formale Methode 1 Treffer
- Formale Sprache 1 Treffer
- Funktionale Semantik 1 Treffer
- Graphersetzungssystem 1 Treffer
- Greedy-Algorithmus 1 Treffer
- HOL 1 Treffer
- Induktion 1 Treffer
- Informatik 1 Treffer
- Isabelle (Programm) 1 Treffer
- Kategorientheorie 1 Treffer
- Lambda-Kalkül 1 Treffer
- Mathematische Logik 1 Treffer
- Mehragentensystem 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Operationale Semantik 1 Treffer
- Programmierung 1 Treffer
- Programmsynthese 1 Treffer
- Relation (Informatik) 1 Treffer
- Scheme (Programmiersprache) 1 Treffer
- Softwareentwicklung 1 Treffer
- Strukturierte Programmierung 1 Treffer
- Systementwicklung 1 Treffer
- World Wide Web 1 Treffer
Sprache
Form
Person
- Abelson, Harold 1 Treffer
- Bird, Richard 1 Treffer
- Boley, Harold 1 Treffer
- Demoor, Oege 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
-
14 weitere Werte:
- Hagiya, Masami (1957-) 1 Treffer
- Hu, Zhenjiang 1 Treffer
- Kameyama, Yukiyoshi 1 Treffer
- Kuchen, Herbert 1 Treffer
- Middeldorp, Aart (1963-) 1 Treffer
- Nielsen, Mogens 1 Treffer
- Nipkow, Tobias (1958-) 1 Treffer
- Palamidessi, Catuscia 1 Treffer
- Paulson, Lawrence C. 1 Treffer
- Pfaltz, John L. 1 Treffer
- Schmid, Ute 1 Treffer
- Sussman, Gerald Jay (1947-) 1 Treffer
- Sussman, Julie 1 Treffer
- Wenzel, Markus 1 Treffer
14 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a]: Prentice Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
3., überarb. Aufl.. - Berlin [u.a.]: Springer, 1998Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: