Yazar

fred b schneider

20 cilt bulundu.

Cilt sonuçları

Aktive Medienarbeit mit Jugendlichen

Fred Schell · Springer-Verlag

239 sayfa · 2013-07-02

Education

Trust in Cyberspace

National Research Council, · National Academies Press

CiltAn approach to designing fault-tolerant computing systemsRichard D. Schlichting, Fred B. Schneider

An approach to designing fault-tolerant computing systems

Richard D. Schlichting, Fred B. Schneider · Yayınevi bilinmiyor

27 sayfa · 1981

Kategori yok

Computer programsVerifying Temporal Properties Without Using Temporal LogicBowen Alpern, Fred B. Schneider

Verifying Temporal Properties Without Using Temporal Logic

Bowen Alpern, Fred B. Schneider · Yayınevi bilinmiyor

41 sayfa · 1985

Computer programs

Fault-tolerant computingTowards Fault-tolerant Process Control SoftwareFred B. Schneider, Richard D. Schlichting

Towards Fault-tolerant Process Control Software

Fred B. Schneider, Richard D. Schlichting · Yayınevi bilinmiyor

26 sayfa · 1980

Fault-tolerant computing

Electronic data processingThe State Machine ApproachFred B. Schneider, CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE.

The State Machine Approach

Fred B. Schneider, CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE. · Yayınevi bilinmiyor

27 sayfa · 1986

Electronic data processing

Coding theoryPersonal Keys, Group Keys and Master KeysDorothy E. Denning, Fred B. Schneider

Personal Keys, Group Keys and Master Keys

Dorothy E. Denning, Fred B. Schneider · Yayınevi bilinmiyor

Sayfa sayısı yok · 1980

Coding theory

Fault-tolerant computingVerification of fault tolerant softwareRichard D. Schlichting, Fred B. Schneider

Verification of fault tolerant software

Richard D. Schlichting, Fred B. Schneider · Yayınevi bilinmiyor

13 sayfa · 1980

Fault-tolerant computing

Machine theoryVerifying Safety Properties Using Non-deterministic Infinite-state AutomataCornell University. Dept. of Computer Science, N. Klarlund, F. B. Schneider

Verifying Safety Properties Using Non-deterministic Infinite-state Automata

Cornell University. Dept. of Computer Science, N. Klarlund, F. B. Schneider · Yayınevi bilinmiyor

30 sayfa · 1989

Machine theory

Electronic data processingSynchronization in Distributed ProgramsFred B. Schneider

Synchronization in Distributed Programs

Fred B. Schneider · Yayınevi bilinmiyor

43 sayfa · 1979

Electronic data processing

Operating systems (Computers)Three Surveys on Operating System TopicsGregory R. Andrews, University of Arizona. Department of Computer Science, Fred B. Schneider

Three Surveys on Operating System Topics

Gregory R. Andrews, University of Arizona. Department of Computer Science, Fred B. Schneider · Yayınevi bilinmiyor

34 sayfa · 1980

Operating systems (Computers)

CiltConstraintsL. Lamport, F. B. Schneider

Constraints

L. Lamport, F. B. Schneider · Yayınevi bilinmiyor

28 sayfa · 1984

Kategori yok

CiltProceedings of the 6th Annual ACM Symposium on Principles of Distributed ComputingFred B. Schneider

Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing

Fred B. Schneider · Yayınevi bilinmiyor

Sayfa sayısı yok · 1987

Kategori yok

Electronic data processingSymmetry and Similarity in Distributed SystemsRalph E. Johnson, Fred B. Schneider

Ralph E. Johnson, Fred B. Schneider · Yayınevi bilinmiyor

11 sayfa · 1984

Electronic data processing

AbstractionAbstractions for Fault Tolerance in Distributed SystemsFred B. Schneider

Abstractions for Fault Tolerance in Distributed Systems

Fred B. Schneider · Yayınevi bilinmiyor

7 sayfa · 1986

Abstraction

Parallel processing (Electronic computers)An Assertional Characterization of SerializabilityCornell University. Dept. of Computer Science, E. Robert McCurley, F. B. Schneider

An Assertional Characterization of Serializability

Cornell University. Dept. of Computer Science, E. Robert McCurley, F. B. Schneider · Yayınevi bilinmiyor

18 sayfa · 1989

Parallel processing (Electronic computers)

Real-time data processingCritical (of) issues in real-time systemsCORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE., F. B. Schneider

Critical (of) issues in real-time systems

CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE., F. B. Schneider · Yayınevi bilinmiyor

3 sayfa · 1988

Real-time data processing

CiltThe "hoare Logic" of CSP, and All thatCornell University. Department of Computer Science, Leslie Lamport, Fred B. Schneider

The "hoare Logic" of CSP, and All that

Cornell University. Department of Computer Science, Leslie Lamport, Fred B. Schneider · Yayınevi bilinmiyor

19 sayfa · 1982

Kategori yok

Proof theoryTeaching Math More Effectively, Through the Design of Calculational ProofsCornell University. Department of Computer Science, David Gries, Fred B. Schneider

Teaching Math More Effectively, Through the Design of Calculational Proofs

Cornell University. Department of Computer Science, David Gries, Fred B. Schneider · Yayınevi bilinmiyor

Sayfa sayısı yok · 1994

Proof theory

Electronic data processingEnsuring Consistency in a Distributed Database System by Use of Distributed SemaphoresFred B. Schneider

Ensuring Consistency in a Distributed Database System by Use of Distributed Semaphores

Fred B. Schneider · Yayınevi bilinmiyor

16 sayfa · 1979

Electronic data processing