Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest researc...