Direct support and general support maintenance manual for data processing set, AN/UYK-64(V).

Includes index.

Operator's and organizational maintenance manual : data processing set, AN/UYK-64(V)1 (NSN 7035-01-155-0153), AN/UYK-64(V)1x (NSN 7035-01-155-0154), AN/UYK-64(V)2 (NSN 7035-01-166-7855), AN/UYK-64(V)2x (NSN 7035-01-155-0155), AN/UYK-64(V)3 (NSN 7035-01-155-0156), AN/UYK-64(V)3x (NSN 7035-01-155-0157) ...

Includes index.

Organizational and direct support maintenance manual : data processing unit CP-1435/MYQ-4, (NSN 7010-01-092-2549).

Includes index.

Operator's manual : automated data processing system AN/MYQ-4A, (NSN 7010-01-158-5397).

Includes indexes.

Organizational and direct support maintenance manual : automated data processing system AN/MYQ-4A (NSN 7010-01-158-5397).

"13 May 1985"--[Vol. 2].

Salary administration for data processing personnel.

Mode of access: Internet.

Company investigations of automatic data processing.

Mode of access: Internet.

Automatic data-processing systems;

Mode of access: Internet.

Considerations in the selection of security measures for automatic data processing systems /

"Contributed to the Federal Information Processing Standards Task Group 15 - Computer Systems Security" -t.p.

100 years of data processing : the punchcard century /

Mode of access: Internet.

Spacelab data processing facility : users' guide.

Cover title.

Submodular Optimization and Data Processing

Thesis (Ph.D.)--University of Washington, 2016-06

Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.