Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 7
von 7
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
categorical semantics
3
program verification
3
programming theory
3
semantics of programming languages
3
synchronization
3
language-based security
2
mehr ...
program construction
2
programming language design
2
programming methodology
2
02 engineering and technology
1
0202 electrical engineering, electronic engineering, information engineering
1
system specification
1
weniger ...
Veröffentlicht in
Verlag
Sprache
Treffer aus
Erscheinungsjahr
Filter