Home | Amazing | Today | Tags | Publishers | Years | Search 
Static Analysis of Software: The Abstract Interpretation (ISTE)
Static Analysis of Software: The Abstract Interpretation (ISTE)

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,...

Electrocatalysis in Fuel Cells: A Non- and Low- Platinum Approach (Lecture Notes in Energy)
Electrocatalysis in Fuel Cells: A Non- and Low- Platinum Approach (Lecture Notes in Energy)

Fuel cells are one of the most promising clean energy conversion devices that can solve the environmental and energy problems in our society. However, the high platinum loading of fuel cells - and thus their high cost - prevents their commercialization.  Non- or low- platinum electrocatalysts are needed to lower the fuel cell...

Handbook of Thermoset Plastics, Third Edition (PDL Handbook)
Handbook of Thermoset Plastics, Third Edition (PDL Handbook)

Thermosetting plastics are a distinct category of plastics whose high performance, durability and reliability at high temperatures makes them suitable for specialty applications ranging from automotive and aerospace through to electronic packaging and consumer products (your melamine kitchen worktop is a thermoset resin!). Recent developments...

Geopositioning and Mobility (ISTE)
Geopositioning and Mobility (ISTE)

This book presents a general overview of the applications and use of geopositioning and GNSS for assisting the supervision and management of mobile terrestrial professions, information, traffic regulation, multimodal information, pedestrian mobility and indoor geopositioning, etc. It especially focuses on the field of mobility and terrestrial...

Friction Stir Welding and Processing VII (Tms2013 142 Annual Meeting & Exhibition)
Friction Stir Welding and Processing VII (Tms2013 142 Annual Meeting & Exhibition)

Friction stir welding (FSW) and its variants, friction stir spot welding and friction stir processing, are used in numerous industrial applications and there is considerable activity in the development of FSW processes and their applications. This volume covers the seventh proceedings in this recurring TMS symposium, focusing on all aspects...

Optimal Control of Hybrid Vehicles (Advances in Industrial Control)
Optimal Control of Hybrid Vehicles (Advances in Industrial Control)

Optimal Control of Hybrid Vehicles provides a description of power train control for hybrid vehicles. The background, environmental motivation and control challenges associated with hybrid vehicles are introduced. The text includes mathematical models for all relevant components in the hybrid power train. The power split problem in hybrid...

The Networked Supply Chain: Applying Breakthrough BPM Technology to Meet Relentless Customer Demands
The Networked Supply Chain: Applying Breakthrough BPM Technology to Meet Relentless Customer Demands
This cutting-edge book illustrates how to implement a new breakthrough BPM technology that makes the vision of the networked enterprise a reality. BPM is changing the competitive business landscape. This breakthrough technology provides businesses with the means to manage processes across systems, people, and organizations, providing...
Design and Analysis of Materials and Engineering Structures (Advanced Structured Materials)
Design and Analysis of Materials and Engineering Structures (Advanced Structured Materials)

The idea of this monograph is to present the latest results related to design and analysis of materials and engineering structures. The contributions cover the field of mechanical and civil engineering, ranging from automotive to dam design, transmission towers and up to machine design and exmaples taken from oil industry. Well known experts...

A Practical Guide to SysML, Second Edition: The Systems Modeling Language (The MK/OMG Press)
A Practical Guide to SysML, Second Edition: The Systems Modeling Language (The MK/OMG Press)

A general purpose graphical modeling language used to specify, analyze, and design systems that may include hardware, software, and personnel, SysML is now being adopted by companies across a broad range of industries, including aerospace and defense, automotive, and IT system developers. This book is the bestselling, authoritative guide to...

Tribology for Scientists and Engineers: From Basics to Advanced Concepts
Tribology for Scientists and Engineers: From Basics to Advanced Concepts
Tribology is an interdisciplinary field enjoying increased attention in research fields from engineering to life sciences. Despite growing attention towards this field and its demonstrated applications and usefulness, there are not many devoted degree programs focusing on it. In several university education programs specialized...
Materials and Surface Engineering: Research and Development
Materials and Surface Engineering: Research and Development

This book, the second in the Woodhead Publishing Reviews: Mechanical Engineering Series, is a collection of high quality articles (full research articles, review articles, and cases studies) with a special emphasis on research and development materials and surface engineering and its applications. Surface engineering techniques are being used...

Advances in Modeling and Design of Adhesively Bonded Systems
Advances in Modeling and Design of Adhesively Bonded Systems

The book comprehensively charts a way for industry to employ adhesively bonded joints to make systems more efficient and cost-effective

Adhesively bonded systems have found applications in a wide spectrum of industries (e.g., aerospace, electronics, construction, ship building, biomedical, etc.) for a variety of purposes....

Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy