Methods of mathematical analysis and computation.

Mode of access: Internet.

Development of procedures for rapid computation of dynamic structural response /

Mode of access: Internet.

Evaluation of incremental allocation alternatives for the prevention of significant deterioration in Illinois /

Project no. 10.096.

Blair's chronological and historical tables : from the creation to the present time, with additions and corrections from the most authentic writers, including the computation of St. Paul, as connecting the period from the exode to the temple.

"The present volume has been reconstructed from the folio edition by a literary friend [John Sharpe] ... the ... revision of the manuscript ... having been intrusted to myself."--Sir Henry Ellis, in preface (dated 1844) cf. also Lowndes.

Computation of rapidly varied unsteady, free-surface flow /

Shipping list no.: 87-677-P.

Graphical and mechanical computation,

"Embodies a course given by the writer for a number of years in the mathematical laboratory of the Massachusetts Institute of Technology."

An elementary essay on the computation of logarithms : containing a view of the most expeditious methods of constructing a table of those numbers /

Mode of access: Internet.

Basin rainfall and snowmelt computation : Hydrologic Engineering Center computer program 23-J2-L226.

At head of cover title: Generalized computer program.

Tables for the computation of railway and other earthwork,

Mode of access: Internet.

Radiosonde observation computation tables.

Mode of access: Internet.

Statement of the computation and apportionment of the state levy of taxes for ... /

Description based on: 1890.

State Levy of Taxes. Computation and Apportionment

Title Varies: 1898-1905, Statement of the Computation and Apportionment of the State Levy of Taxes; ?-1897, Statement of the Expenses To Which the State of Oregon Will Be Subjected for the Year 18?-1897 and of the Items of Deficiencies More

Punched card methods in scientific computation,

Mode of access: Internet.

Computation in Non-Classical Foundations?

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms (like "set", "function", and "number") are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike.

A comparison of astronomical and ballistic traditions in orbit computation /

"Air research and Development Command, Air Force Office of Scientific Research, Mechanics Division. Contract no. AF 49(638) - 498."