Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... based on calculus of explicit substitution -- A modular history-oriented access structure for bitemporal...”
Cover Image
Read Now

2
by Manna, Zohar, Pnueli, Amir
Published 1995
Springer New York
Table of Contents: “... -- 2.2 Single-Resource Allocation -- 2.3 Multiple-Resource Allocation -- 2.4 Constructing Linear...”