Math
Tight Bounds for Distributed Functional Monitoring David Woodruff IBM Almaden Qin Zhang Aarhus University MADALGO.
Chap3b.continuous Distrib
1 CHAPTER 3 Optimisation Techniques for Network Problem Solving M. Pickavet and C. Develder.
NIPRL Chapter 4. Continuous Probability Distributions 4.1 The Uniform Distribution 4.2 The Exponential Distribution 4.3 The Gamma Distribution 4.4 The.
‘ Galculator ’ Functional Prototype of a Galois-connection Based Proof Assistant