Böcker utgivna av ISTE Ltd and John Wiley & Sons Inc

The testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 persons currently certified throughout the world.

In the last decade the development and control of Unmanned Aerial Vehicles (UAVs) has attracted a lot of interest. Both researchers and companies have a growing interest in improving this type of vehicle given their many civilian and military applications. This book presents the state of the art in the area of UAV Flight Formation.

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

This much-needed book describes the digital home networking environment, its techniques, and the challenges around its service architecture.

This book details the 2011 IWEI Working Conference and highlights the developments in the following areas: scientific foundations for specifying, analyzing, and validating interoperability solutions; architectural frameworks for addressing interoperability challenges from different viewpoints and at different levels of abstraction.

The expression "We did not see it coming!" has often been heard in recent years from decision makers at the highest levels of the private and public sectors. Yet there were actually early warning signals, but they were often ignored due to a lack of appropriate methodology.

Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems.

The vital resource provides the fundamentals and the most recent research advances on machining wood and wood products. In recent years, the machining of wood products has acquired great importance due the short supply of wood and increasing environmental awareness among users and manufacturers.

This book describes up-to-date technology applied to high-K materials for More Than Moore applications, i.e. microsystems applied to microelectronics core technologies. After detailing the basic thermodynamic theory applied to high-K dielectrics thin films including extrinsic effects, this book emphasizes the specificity of thin films.

Offering an introduction to stochastic integration and stochastic differential equations, this book is written in an understandable way for a wide audience, from students of mathematics to practitioners in biology, chemistry, physics, and finances.

Traditional logistical chains have enabled us to respond efficiently to the needs of customers in terms of services and products. However, the returns, rejects and by-products of these activities have been eliminated or ignored.

This resource deals with compact microwave antennas and more specifically with the planar version of these antennas, which are the most relevant type of antennas in modern communication systems. It also covers all applications requiring miniaturization, integration, and conformation, such as mobile phone handsets.

The term Mechatronics is a combination of the words mechanics and electronics . It is the blending of mechanical, electronic, and computer engineering into an integrated design and implementation. Mechatronics systems employ microprocessors and software as well as special-purpose electronics.

This book presents recent advances related to the following two topics: - how mechanical fields close to material or geometrical singularities such as cracks can be determined; - how failure criteria can be established according to the singularity degrees related to these discontinuities.

Through an empirical, conceptual, and theoretical approach, this vital resource includes the cogitations of five of the leading French researchers and experts in the fields of cybersecurity, cyberdefense, and information warfare.

This groundbreaking book considers the implications of the changing paradigm for competitive, economic, and territorial intelligence applied to innovation, value creation and enhancement of territories. Competitive intelligence is therefore in the 2. 0 and its values: perpetual beta, user-generated content, social relations, etc.

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.

RFID (Radio Frequency Identification) technology allows for automatic identification of information contained in a tag by scanning and interrogation using radio frequency (RF) waves. An RFID tag contains an antenna and a microchip that allows it to transmit and receive.

Based on confirmed results of experimental psychology, this book places the problem of managerial logic in a phenomenological framework and shows how the influence of traditional methods has slowed the effective resolution of these problems.

The field of Home Area Networks (HAN), a dedicated residential subset of LAN technologies for home use, is fast becoming the next frontier for the communications industry. This book describes the technologies used for the implementation of HAN as well as for data transmission.

Self-compacting concrete (SCC) is a relatively new building material. This material is progressively changing the way concrete is placed on building sites. This text fills a gap in the literature and provides a thorough understanding of the behavior of self-compacting concrete which is far different than traditional concrete.

Dedicated to a complete presentation on all aspects of reverberation chambers, this book provides the physical principles behind these test systems in a very progressive manner.

Constraint programming (CP) is a declarative programming paradigm that has relevance for academics and industrial applications (from n-queens to planning, vehicle routing, and optimization, among other fields). This book presents the most current information about musical CP systems from both the scientist's and composer's point-of-view.

This book concerns testing hypotheses in non-parametric models. Generalizations of many non-parametric tests to the case of censored and truncated data are considered. Most of the test results are proved and real applications are illustrated using examples. Theories and exercises are provided.

The finite element method (FEM) has become the main instrument for simulating manufacturing processes, owing to the fact that it can replace experimental approaches to the study of manufacturing processes in many cases.

The Extractive Metallurgy series is devoted to the extraction of metals from ores and other sources, their refining to the state of either liquid or solid metal, and the various processes needed to carry out these operations.

Offering an important contribution to the literature, this book details recent advances in all aspects related to scale transition in crystal plasticity and damage, and puts the focus on the challenges associated with the characterization and modeling of this class of complex interactions.

Tribology is the science and technology of interactingsurfaces in relative motion and encompasses the study offriction, wear and lubrication. By extension biotribology isusually defined as the tribological phenomena occurring in eitherthe human body or in animals.

Digital Spectral Analysis provides a single source that offers complete coverage of the spectral analysis domain. This self-contained work includes details on advanced topics that are usually presented in scattered sources throughout the literature.

Within the framework of the Sixth I-ESA International Conference,supported by the INTEROP VLab (International Virtual Laboratory onEnterprise Interoperability, http://www. interop-vlab.