Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Statische Analyse 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Anwendungssystem 1 Treffer
- Constraint-Programmierung 1 Treffer
- Deklarative Programmierung 1 Treffer
-
12 weitere Werte:
- Höhere Programmiersprache 1 Treffer
- Kontrollstruktur 1 Treffer
- Nebenläufigkeit 1 Treffer
- Oz (Programmiersprache) 1 Treffer
- Programmanalyse 1 Treffer
- Programmiersprache 1 Treffer
- Programmiersystem 1 Treffer
- Programmierung 1 Treffer
- Programmverifikation 1 Treffer
- Softwareproduktionsumgebung 1 Treffer
- Typentheorie 1 Treffer
- Verteilte Programmierung 1 Treffer
Sprache
Person
6 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ [u.a.]: Prentice Hall, 1993Monographie, Gedruckte RessourceZugriff: