Showing 1 - 20 results of 39 for search 'Schneider, Fred B.', query time: 0.05s
Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
-
1
Trust in cyberspace /
Published 1999Other Authors: “…Schneider, Fred B.…”
Call Number: Loading…Get full text
Located: Loading…
Electronic eBook -
2
Trust in cyberspace /
Published 1999Other Authors: “…Schneider, Fred B.…”
Call Number: Loading…Get full text
Located: Loading…
Electronic eBook -
3
A logical approach to discrete math by Gries, David, Schneider, Fred B.
Published 2010Call Number: Loading…Description
Located: Loading…
-
4
Pretending atomicity by Lamport, Leslie 1941-, Schneider, Fred B.
Published 1989Call Number: Loading…
Located: Loading… -
5
Abstractions for fault tolerance in distributed systems by Schneider, Fred B.
Published 1986Call Number: Loading…
Located: Loading… -
6
Recognizing safety and liveness by Alpern, Bowen, Schneider, Fred B.
Published 1986Call Number: Loading…
Located: Loading… -
7
Symmetry and similarity in distributed systems by Johnson, Ralph E., Schneider, Fred B.
Published 1984Call Number: Loading…
Located: Loading… -
8
The "Hoare logic" of CSP, and all that by Lamport, Leslie 1941-, Schneider, Fred B.
Published 1982Call Number: Loading…
Located: Loading… -
9
Fast reliable broadcasts by Schneider, Fred B., Gries, David, Schlichting, Richard D.
Published 1982Call Number: Loading…
Located: Loading… -
10
Concepts and notations for concurrent programming by Andrews, Gregory R., Schneider, Fred B.
Published 1982Call Number: Loading…
Located: Loading… -
11
Three surveys on operating system topics by Andrews, Gregory R., Schneider, Fred B.
Published 1980Call Number: Loading…
Located: Loading… -
12
Broadcasts, a paradigm for distributed programs by Schneider, Fred B.
Published 1980Call Number: Loading…
Located: Loading… -
13
Detecting distributed termination when processors can fail by Lermen, C. W., Schneider, Fred B.
Published 1980Call Number: Loading…
Located: Loading… -
14
A logical approach to discrete math by Gries, David, Schneider, Fred B.
Published 1995Call Number: Loading…
Located: Loading… -
15
A logical approach to discrete math by Gries, David, Schneider, Fred B.
Published 1994Call Number: Loading…
Located: Loading… -
16
A paradigm for reliable clock synchronization by Schneider, Fred B.
Published 1986Call Number: Loading…
Located: Loading… -
17
Completeness and incompleteness of trace based network proof systems by Widom, Jennifer, Gries, David, Schneider, Fred B.
Published 1986Call Number: Loading…
Located: Loading… -
18
Inexact agreement: accuracy, precision, and graceful degradation by Mahaney, Stephen R., Schneider, Fred B.
Published 1985Call Number: Loading…
Located: Loading… -
19
Safety without stuttering by Alpern, Bowen, Demers, Alan J., Schneider, Fred B.
Published 1985Call Number: Loading…
Located: Loading… -
20
The HOCA operating system specifications by Babaoğlu, Özalp, Schneider, Fred B.
Published 1983Call Number: Loading…
Located: Loading…