Treffer 1 – 10 von 10 für Suche 'MacEwen, Glenn H.', Suchdauer: 0,02s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
A two-level security model for a secure network von Glasgow, Janice I., MacEwen, Glenn H.
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
2
Introduction to computer systems using the PDP-11 and Pascal von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
3
Introduction to computer systems Using the PDP-11 and Pascal von MacEwen, Glenn H.
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
4
Introduction to computer systems using the PDP-11 and Pascal von MacEwen, Glenn H.
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
5
The development and proof of a formal specification multi-level secure system von Glasgow, Janice I., MacEwen, Glenn H.
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen … -
6
A computational model for distributed systems using operator nets von Glasgow, Janice I., MacEwen, Glenn H.
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
7
Specification prototyping von MacEwen, Glenn H.
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
8
A hierarchical security model for program certification systems von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
9
The design for a secure system based on program analysis von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
10
Abstraction hierarchies in top-down design von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …