Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Implementierung (Informatik) 8 Treffer
- Programmiersprache 8 Treffer
- Algebra 3 Treffer
- Funktionale Programmierung 3 Treffer
- Programmierung 2 Treffer
-
20 weitere Werte:
- Algebraische Spezifikation 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Berechnungstheorie 1 Treffer
- Computational logic 1 Treffer
- Computeralgebra 1 Treffer
- Datenfluss 1 Treffer
- Deklarative Programmierung 1 Treffer
- Deklarative Semantik 1 Treffer
- Funktionale Semantik 1 Treffer
- Kontrollfluss 1 Treffer
- Lambda-Kalkül 1 Treffer
- Metaprogrammierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Programmanalyse 1 Treffer
- Programmsynthese 1 Treffer
- Programmtransformation 1 Treffer
- Relation (Informatik) 1 Treffer
- Softwareentwicklung 1 Treffer
- Statische Analyse 1 Treffer
- Typentheorie 1 Treffer
Sprache
Form
Person
19 Treffer
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: