Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierung 4 Treffer
- Effizienter Algorithmus 3 Treffer
- Korrektheit 3 Treffer
- Programmanalyse 3 Treffer
- Programmtransformation 3 Treffer
-
16 weitere Werte:
- Typentheorie 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
- Softwareproduktionsumgebung 1 Treffer
- Verteilte Programmierung 1 Treffer
- Wissenschaftliches Rechnen 1 Treffer
Form
Person
9 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, 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, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: