𝔖 Bobbio Scriptorium

✦ LIBER ✦

Remarks on “program proving: Jumps and functions by M. Clint and C. A. R. Hoare”

✍ Scribed by E. A. Ashcroft; M. Clint; C. A. R. Hoare

Book ID: 104706030
Publisher: Springer-Verlag
Year: 1976
Tongue: English
Weight: 54 KB
Volume: 6
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00288660

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Program proving: Jumps and functions

Program proving: Jumps and functions

✍ M. Clint; C. A. R. Hoare 📂 Article 📅 1972 🏛 Springer-Verlag 🌐 English ⚖ 523 KB

Effect of acute ischaemia on myocardial

Effect of acute ischaemia on myocardial function: By M. F. Oliver, M.D., F.R.C.P.Lond., F.R.C.P.Ed., D. G. Julian, M.A., M.D., F.R.C.P.Lond., F.R.C.P.Ed., F.R.A.C.P., and K. W. Donald, D.S.C., Q.P., M.A., M.D., D.Sc., F.R.C.P.Lond., F.R.S.E., Baltimore, 1972, The Williams & Wilkins Company, 382 pp. $19.25

📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 58 KB

A note on the paper by P. C. Searson, P.

A note on the paper by P. C. Searson, P. V. Nagarkar and R. M. Latanision, “the effect of density of states, work function and exchange integral of polycrystalline and single crystal surfaces on the hydrogen evolution reaction”.

✍ S. Trasatti 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 173 KB

Infrared dielectric functions and crysta

Infrared dielectric functions and crystal orientation of a-plane ZnO thin films on r-plane sapphire determined by generalized ellipsometry

✍ C. Bundesmann; N. Ashkenov; M. Schubert; A. Rahm; H.v. Wenckstern; E.M. Kaidashe 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 155 KB

DNA ladders connecting animals and plant

DNA ladders connecting animals and plants: Ryerson, D.E. and Heath, M.C. (1996) Cleavage of nuclear DNA into oligonucleosomal fragments during cell death induced by fungal infection or by abiotic treatments, Plant Cell 8, 393–402 Wang, H., Li, J., Bostock, R.M. and Gilchrist, D.G. (1996) Apoptosis: a functional paradigm for programmed plant cell death induced by a host-selective phytotoxin and invoked during development, Plant Cell 8, 375–391

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 233 KB

A Narration of the Experiments Made June

A Narration of the Experiments Made June 1, 1734. Before Several Members of the Royal Society, and Others, on a Man, Who Suffer'd Himself to be Bit by a Viper, or Common Adder; And on Other Animals Likewise Bitten by the Same, and Other Vipers. Drawn up by Cromwell Mortimer, M. D. Secr. R. S. with Some Remarks on the Cure of the Bite of a Mad Dog

✍ Mortimer, C. 📂 Article 📅 1735 🏛 The Royal Society ⚖ 610 KB