Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Programming --- Software maintenance --- Software maintenance - Congresses
Choose an application
Choose an application
Choose an application
Definitions, Concepts and Scope of Engineering Asset Management, the first volume in this new review series, seeks to minimise ambiguities in the subject matter. The ongoing effort to develop guidelines is shaping the future towards the creation of a body of knowledge for the management of engineered physical assets. Increasingly, industry practitioners are looking for strategies and tactics that can be applied to enhance the value-creating capacities of new and installed asset systems. The new knowledge-based economy paradigm provides imperatives to combine various disciplines, knowledge areas and skills for effective engineering asset management. This volume comprises selected papers from the 1st, 2nd, and 3rd World Congresses on Engineering Asset Management, which were convened under the auspices of ISEAM in collaboration with a number of organisations, including CIEAM Australia, Asset Management Council Australia, BINDT UK, and Chinese Academy of Sciences, Beijing University of Chemical Technology, China. Definitions, Concepts and Scope of Engineering Asset Management will be of interest to researchers in engineering, innovation and technology management, as well as to managers, planners and policy-makers in both industry and government.
Facility management -- Congresses. --- Industrial engineering -- Congresses. --- Industrial management -- Congresses. --- Life cycle costing -- Congresses. --- Maintenance -- Congresses. --- Plant engineering -- Congresses. --- Reliability (Engineering) -- Congresses. --- Risk management -- Congresses. --- Industrial engineering --- Industrial management --- Assets (Accounting) --- Maintenance --- Reliability (Engineering) --- Risk management --- Life cycle costing --- Civil & Environmental Engineering --- Mechanical Engineering --- Engineering & Applied Sciences --- Civil Engineering --- Industrial & Management Engineering --- Management information systems. --- Industrial management. --- Business administration --- Business enterprises --- Business management --- Corporate management --- Corporations --- Industrial administration --- Management, Industrial --- Rationalization of industry --- Scientific management --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Management --- Engineering. --- Management. --- Finance. --- Engineering economics. --- Engineering economy. --- Quality control. --- Reliability. --- Industrial safety. --- Engineering Economics, Organization, Logistics, Marketing. --- Innovation/Technology Management. --- Finance, general. --- Quality Control, Reliability, Safety and Risk. --- Business --- Industrial organization --- Industrial accidents --- Industries --- Job safety --- Occupational hazards, Prevention of --- Occupational health and safety --- Occupational safety and health --- Prevention of industrial accidents --- Prevention of occupational hazards --- Safety, Industrial --- Safety engineering --- Safety measures --- Safety of workers --- Accidents --- System safety --- Dependability --- Trustworthiness --- Conduct of life --- Factory management --- Sampling (Statistics) --- Standardization --- Quality assurance --- Quality of products --- Economy, Engineering --- Engineering economics --- Funding --- Funds --- Economics --- Currency question --- Administration --- Industrial relations --- Organization --- Construction --- Industrial arts --- Technology --- Prevention --- Sociotechnical systems --- Information resources management --- Communication systems --- System safety. --- Safety, System --- Safety of systems --- Systems safety --- Industrial safety --- Systems engineering
Choose an application
Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.
Computer software --- -Software maintenance --- -681.3*D11 --- 681.3*F31 --- 681.3*F41 --- 681.3*I22 --- 681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*D11 Applicative (functional) programming --- Applicative (functional) programming --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Computer program maintenance --- Computer programs --- Maintenance, Software --- Computer programming --- Software reengineering --- Software, Computer --- Computer systems --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Evaluation --- -Congresses --- Congresses --- Maintenance --- Software maintenance --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- 681.3*D11 --- Evaluation&delete& --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Computer software - Evaluation - Congresses. --- Software maintenance - Congresses.
Listing 1 - 5 of 5 |
Sort by
|