๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Computer systems in highway design

โœ Scribed by G. Hall

Publisher
Elsevier Science
Year
1974
Tongue
English
Weight
116 KB
Volume
6
Category
Article
ISSN
0010-4485

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Plotters for highway design
Plotters for highway design
โœ Computer Instrumentation Limited ๐Ÿ“‚ Article ๐Ÿ“… 1980 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 228 KB
Expert systems applications in computer-
Expert systems applications in computer-aided design
โœ Michael A. Rosenman; John S. Gero; Peter J. Hutchinson; Rivka Oxman ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 429 KB

Rule-based expert system shells are demonstrated to be useful m elementary design dec/s/on making. Two applications are presented which ut/llse the BUILD shell. The first is concerned with the selection and design of earth-retaining structures and makes use of passive graphics in descriptions. The s

Formal methods in computer system design
Formal methods in computer system design
โœ C.A.R. Hoare ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 501 KB

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benefits as those derived from the use of mathematics in all other branches of modem science.