Narrow your search

Library

UCLouvain (3)

UGent (3)

KU Leuven (2)

UAntwerpen (2)

ULiège (2)

KBR (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

More...

Resource type

book (5)


Language

English (5)


Year
From To Submit

2010 (1)

2004 (1)

2003 (1)

1998 (1)

1996 (1)

Listing 1 - 5 of 5
Sort by

Book
International Conference on Software Maintenance, 22-26 September 2003, Amsterdam, the Netherlands
Author:
ISBN: 0769519059 9780769519050 Year: 2003 Publisher: Los Alamitos, Calif. IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract

Program Comprehension, 1998. IWPC '98. Proceedings., 6th International Workshop on
Author:
ISBN: 0818685603 9780818685606 Year: 1998 Publisher: IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Language rights and language survival: sociolinguistic and sociocultural perspectives
Authors: ---
ISBN: 1900650746 9781900650748 Year: 2004 Volume: 4 Publisher: Manchester St. Jerome


Book
Definitions, Concepts and Scope of Engineering Asset Management
Authors: --- --- --- --- --- et al.
ISBN: 1849961778 9786612972867 1849961786 1282972863 Year: 2010 Publisher: London : Springer London : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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


Book
Partial evaluation : international seminar, Dagstuhl Castel, Germany, February 12-16, 1996 : selected papers
Authors: --- ---
ISBN: 3540615806 3540705899 9783540615804 Year: 1996 Volume: 1110 Publisher: Berlin [etc.] : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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