Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Codeoptimierung 3 Treffer
- Compiler 2 Treffer
- Eingebettetes System 2 Treffer
- Programmtransformation 2 Treffer
- Softwareentwicklung 2 Treffer
-
18 weitere Werte:
- Aliasanalyse 1 Treffer
- Automation 1 Treffer
- Automatische Parallelisierung 1 Treffer
- Baumautomat 1 Treffer
- Code generators 1 Treffer
- Compiler-Compiler 1 Treffer
- Computer 1 Treffer
- Echtzeitprogrammierung 1 Treffer
- FORTRAN 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- Hardwareentwurf 1 Treffer
- LISP 1 Treffer
- Programmverifikation 1 Treffer
- Signalprozessor 1 Treffer
- Termersetzungssystem 1 Treffer
- Transputer 1 Treffer
- Typisierter Lambda-Kalkül 1 Treffer
- Typisierung 1 Treffer
Sprache
Person
11 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Greenwich, CT: Manning, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer, 1997Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Sankt Augustin: Ges. für Mathematik u. Datenverarbeitung mbH, 1989Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1985Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1984Monographie, Gedruckte RessourceZugriff: