This volume presents recent advances in computational fluid dynamics. The topics range from fundamentals and computational techniques to a wide variety of applications in astronomy, applied mathematics and meteorology. They describe recent calculations in direct numerical simulation of turbulence, applications of turbulence modelling of...

Computational Fluid Dynamics in Practice explores the current and future developments in CFD, with the authors detailing advanced applications and case studies to demonstrate successes, illustrate the limitations, and identify methods for good practice. Designers, engineers, and researchers working in this field of fluid mechanics will...

Software engineering is one of the most knowledge intensive jobs. Thus, having a good knowledge management (KM) strategy in these organisations is very important. This book examines software processes from a knowledge perspective flow, in order to identify the particular knowledge needs of such processes to then be in a better position for...

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to...

Graphical models are of increasing importance in applied statistics, and in particular in data mining. Providing a self-contained introduction and overview to learning relational, probabilistic, and possibilistic networks from data, this second edition of Graphical Models is thoroughly updated to include the latest research in this...

Smithells is the only single volume work which provides data on all key apsects of metallic materials.

Smithells has been in continuous publication for over 50 years. This 8th Edition represents a major revision.

Four new chapters have been added for this edition. these focus on;
* Non conventional...

Single Crystal Growth of Semiconductors from Metallic Solutions covers the four principal growth techniques currently in use for the growth of semiconductor single crystals from metallic solutions. Providing an in-depth review of the state-of-the-art of each, both experimentally and by numerical simulations. The importance of a close...

In contemporary globally competitive markets, the development of new products is considered a critical success factor for organizations. Significant efforts have been invested in the development of methods and tools for improving the management of design processes, being a key element in development processes, especially those related...

This book originates from the desire to perpetuate expertise in the field of performance evaluation, particularly for telecommunication systems and networks. It is obviously impossible to translate into a single work all the facets of an activity which encompasses many systems and a great variety of domains such as standardization,...

This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

operator interpolation techniques including a non-Lagrange...

Geospatial semantics (GEOS) is an emerging research area in the domain of geographic information science. It aims at exploring strategies, computational methods, and tools to support...