- Document(Springer Texts in Statistics) J. H. C. Creighton (Auth.) - A First Course in Probability Models and Statistical Inference-Springer-Verlag New York (1994)încărcat debokige
- Document(Advances in Formal Methods 4) Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.) - Computer-Aided Reasoning_ ACL2 Case Studiesîncărcat debokige