Search results
Results from the WOW.Com Content Network
The CoC is a higher-order typed lambda calculus, initially developed by Thierry Coquand.It is well known for being at the top of Barendregt's lambda cube.It is possible within CoC to define functions from terms to terms, as well as terms to types, types to types, and types to terms.
Construction engineering, also known as construction operations, [1] is a professional subdiscipline of civil engineering that deals with the designing, planning, construction, and operations management of infrastructure such as roadways, tunnels, bridges, airports, railroads, facilities, buildings, dams, utilities and other projects. [2]
The following outline is provided as an overview of and topical guide to engineering: . Engineering is the scientific discipline and profession that applies scientific theories, mathematical methods, and empirical evidence to design, create, and analyze technological solutions cognizant of safety, human factors, physical laws, regulations, practicality, and cost.
ASCE Library is an online full-text civil engineering database providing the contents of peer-reviewed journals, proceedings, e-books, and standards published by the American Society of Civil Engineers.
A Pattern Language: Towns, Buildings, Construction is a 1977 book on architecture, urban design, and community livability.It was authored by Christopher Alexander, Sara Ishikawa and Murray Silverstein of the Center for Environmental Structure of Berkeley, California, with writing credits also to Max Jacobson, Ingrid Fiksdahl-King and Shlomo Angel.
Tennessee Valley Authority civil engineers monitoring hydraulics of a scale model of Tellico Dam. Civil engineering is a professional engineering discipline that deals with the design, construction, and maintenance of the physical and naturally built environment, including public works such as roads, bridges, canals, dams, airports, sewage systems, pipelines, structural components of buildings ...
Structural engineering is a sub-discipline of civil engineering in which structural engineers are trained to design the 'bones and joints' that create the form and shape of human-made structures. Structural engineers also must understand and calculate the stability , strength, rigidity and earthquake-susceptibility of built structures for ...
Structural engineering depends upon a detailed knowledge of loads, physics and materials to understand and predict how structures support and resist self-weight and imposed loads. To apply the knowledge successfully structural engineers will need a detailed knowledge of mathematics and of relevant empirical and theoretical design codes.