Livres de Fred B. Schneider - BookPine

Trust in Cyberspace

Trust in Cyberspace

Fred B. Schneider

On Concurrent Programming

On Concurrent Programming

Fred B. Schneider

Daedalus (Protecting the Internet as a Public Commons)

Daedalus (Protecting the Internet as a Public Commons)

Deirdre K. Mulligan

Daedalus 140:4 (Fall 2011) - Protecting the Internet as a Public Commons

Daedalus 140:4 (Fall 2011) - Protecting the Internet as a Public Commons

Deirdre K. Mulligan

A Logical Approach to Discrete Math

A Logical Approach to Discrete Math

David Gries

Foundations and Support for Survivable Systems

Foundations and Support for Survivable Systems

Fred B. Schneider

Mobile Agents and Systems Principles

Mobile Agents and Systems Principles

Fred B. Schneider

Putting Time Into Proof Outlines

Putting Time Into Proof Outlines

Fred B. Schneider

Fault-Tolerant and Real-Time Distributed Computing

Fault-Tolerant and Real-Time Distributed Computing

Fred B. Schneider