Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierung 5 Treffer
- Programmanalyse 4 Treffer
- Typentheorie 4 Treffer
- Effizienter Algorithmus 3 Treffer
- Korrektheit 3 Treffer
-
17 weitere Werte:
- Programmtransformation 3 Treffer
- Statische Analyse 2 Treffer
- Anwendungssystem 1 Treffer
- Autonomic Computing 1 Treffer
- Biocomputer 1 Treffer
- Chemie 1 Treffer
- Constraint-Programmierung 1 Treffer
- Deklarative Programmierung 1 Treffer
- Generische Programmierung 1 Treffer
- Höhere Programmiersprache 1 Treffer
- Nebenläufigkeit 1 Treffer
- Oz (Programmiersprache) 1 Treffer
- Programmiersystem 1 Treffer
- Programmverifikation 1 Treffer
- Softwareproduktionsumgebung 1 Treffer
- Verteilte Programmierung 1 Treffer
- Wissenschaftliches Rechnen 1 Treffer
Sprache
Form
Person
10 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2004Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: