Clear Search

Books+ Search Results

Subject: "Computer programming"
Author/Creator: All Of
All Of Any Of
Is
Is Is Not
Marzullo, Keith Is
Is Is Not
United States. National Aeronautics and Space Administration
Location: Is
Is Is Not
Sterling Memorial Library

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Limit your search

-
Current results range from 1989 to 1994

1.
Consistent detection of global predicates
Author
Cooper, Robert
Published
Ithaca, NY ; Dept. of Computer Science, Cornell University, [1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:188078
Format
Books / Microforms
2.
Concurrency control for transactions with priorities
Author
Marzullo, Keith
Published
Ithaca, N.Y. : Dept. of Computer Science, Cornell University, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186268
Format
Books / Microforms
3.
Putting time into proof outlines
Author
Schneider, Fred B.
Published
Ithaca, NY : Dept. of Computer Science, Cornell University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192978
Format
Books / Microforms
4.
Putting time into proof outlines
Author
Schneider, Fred B.
Published
Ithaca, NY : Dept. of Computer Science ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189500
Format
Books / Microforms
5.
Refinement for fault-tolerance an aircraft hand-off protocol
Author
Marzullo, Keith
Published
Ithaca, N.Y. : Dept. of Computer Science, Cornell University ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:195697
Format
Books / Microforms
6.
Derivation of sequential, real-time, process-control programs
Author
Marzullo, Keith
Published
Ithaca, NY : Dept. of Computer Science, Cornell University ; [Springfield, Va. : National Technical Information Service, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:185433
Format
Books / Microforms