Some guides for students, e.g., for using the workstations.
RAIM: Redundant Array of Motes
pinnacle of operating systems engineering
A Library to Access SMI MIB Information
Interval Arithmetic Prover Framework.