Descriptive Programs
Author : Los Angeles Philharmonic Orchestra
Publisher :
Page : 810 pages
File Size : 12,76 MB
Release : 1925
Category : Concert programs
ISBN :
Author : Los Angeles Philharmonic Orchestra
Publisher :
Page : 810 pages
File Size : 12,76 MB
Release : 1925
Category : Concert programs
ISBN :
Author :
Publisher :
Page : 442 pages
File Size : 23,56 MB
Release : 1986
Category : Military research
ISBN :
Author :
Publisher :
Page : 448 pages
File Size : 46,53 MB
Release : 1987
Category : Military research
ISBN :
Author :
Publisher :
Page : 142 pages
File Size : 35,26 MB
Release : 1981
Category : Health planning
ISBN :
Author : J. P. Oss
Publisher :
Page : 180 pages
File Size : 31,80 MB
Release : 1969
Category : FORTRAN (Computer program language)
ISBN :
Computer program packages are described for reducing spectrographic plasma arc data, for handling tape and card files, and for Calcomp plotting. Seven program packages are described in detail, and the program listings are given. (Author).
Author :
Publisher : Bib. Orton IICA / CATIE
Page : 86 pages
File Size : 35,66 MB
Release :
Category :
ISBN :
Author : Erich Neuhold
Publisher : Springer Science & Business Media
Page : 532 pages
File Size : 18,86 MB
Release : 1991-10-04
Category : Computers
ISBN : 9783540539612
In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs. In particular, methods for the specification and transformation of programs are considered in detail. One lecture is devoted to the formalization of concurrency and distributed systems and reflects their great importance in programming. Further topics are the verification of programs and the use of sophisticated type systems in programming. This compendium on the theoretical foundations of programming is also suitable as a textbook for special seminars on different aspects of this broad subject.
Author : Geoffrey J. Turner
Publisher : Routledge
Page : 252 pages
File Size : 33,8 MB
Release : 2014-01-10
Category : Language Arts & Disciplines
ISBN : 1317933109
This book presents a framework for the linguistic analysis of speech and a computer program to process the results of this analysis. The model of description for the linguistic analysis is that known as ‘scale-and-category’ grammar. It is particularly suited for a study of how people use their language, and especially for a sociologically-oriented study of linguistic behaviour. By incorporating a concept of ‘delicacy’, it enables the investigator to vary, according to his particular interests, the amount of detail he enters into at various points in the description. The present authors have made use of this facility and discuss the special interests, sociological and psychological, that influenced their choice of detail. The computer program analyzes the grammatical structures written in a linear notation. A second version has been written which allows easy modification to handle a variety of grammatical schemes, and the program has application to the processing of the analysis of sequential behaviour in general, especially where there are complex relations between the units analyzed.
Author : Fred W. Matting
Publisher :
Page : 100 pages
File Size : 33,29 MB
Release : 1970
Category : Ablation (Aerothermodynamics)
ISBN :
A general method is presented for solving the problem of heat-shield response in the stagnation region of a charring type ablator. The analysis is actually for the stagnation point of an axisymmetric blunt body, but it is a valid approximate method for calculations in the stagnation region of any arbitrary blunt body. The analysis is applicable to windtunnel or flight conditions, and the heat loadings are either arbitrarily assigned or they are calculated concurrently with the heat-shield response. Surface heating (or cooling) mechanisms accounted for are those due to convection, radiation, homogeneous combustion, heterogeneous combustion, surface material removal by means other than combustion (includes erosion) , and sublimation. Physical and thermodynamic properties of the ablating material are arbitrarily assigned so that calculations can be made for various materials. A typical application of the analysis is given as an illustration. The analysis is machine programmed for numerical solutions usinga finite difference scheme, and a family of computing programs is used. These programs are described and instructions are provided for using them. The programs can be obtained from COSMIC, University of Georgia, Athens, Georgia, 30601.
Author :
Publisher :
Page : 32 pages
File Size : 26,82 MB
Release : 1983
Category : Agricultural price supports
ISBN :