𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Methodical specification of abstract data types via rewriting systems

✍ Scribed by P. A. S. Veloso

Publisher
Springer
Year
1982
Tongue
English
Weight
785 KB
Volume
11
Category
Article
ISSN
1573-7640

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Specific deuteration effects on carbon-1
Specific deuteration effects on carbon-13 NMR relaxation data of amido-type systems
✍ M. J. Shapiro; A. D. Kahle πŸ“‚ Article πŸ“… 1979 πŸ› John Wiley and Sons 🌐 English βš– 205 KB

## Abstract The effect of deuterium substitution in amido‐systems is explored. For benzamide, both positive and negative changes in __T__^DD^~1~ are observed. A method for structure elucidation of these and related systems is presented.

Statistical design of linear discrete-da
Statistical design of linear discrete-data control systems via the modified z-transform method
✍ Julius T. Tou πŸ“‚ Article πŸ“… 1961 πŸ› Elsevier Science 🌐 English βš– 791 KB

## METHOD* A solution is presented for the analytical design of digital controller in accordance with a specified optimum criterion. This approach makes use of the modified z-transform technique. The analytical design procedure for systems with random noise occurring in the input channel and for