✦ LIBER ✦

Procedures and parameters in the real-time program refinement calculus

✍ Scribed by Ian J. Hayes

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The estimation of parameters in time-dep

✍ R.E. Kalaba; H.H. Natsuyama; S. Ueno 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 277 KB

Measuring diffusion parameters in the br

✍ I. Vorisek; E. Sykova 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

Real-time display of the stomach slow wa

✍ Full-Young Chang; Ching-Liang Lu; Chih-Yen Chen; Shou-Dong Lee; Shuenn-Tsong You 📂 Article 📅 2001 🏛 Springer Japan 🌐 English ⚖ 540 KB

Automatic real time parameter determinat

✍ D. V. Chebrov; A. A. Gusev 📂 Article 📅 2011 🏛 Allerton Press, Inc. ⚖ 585 KB

A measurement approach for obtaining sta

✍ J. A. Fuentes; A. Molina-García; E. Gómez 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 700 KB

Real-Time reporting of anaphylaxis in in

✍ Estelle, F; Simons, R; Chad, ZH; Gold, M 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 143 KB