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

Robot Builder's Sourcebook : Over 2,500 Sources for Robot Parts
Robot Builder's Sourcebook : Over 2,500 Sources for Robot Parts

This book offers everything the robotics hobbyist needs to learn - what it is - where to get it - how to get started - from the author of "Robot Builder's Bonanza!" Fascinated by the world of robotics but don't know how to tap into the incredible amount of information available on the subject? Clueless as to locating...

Applied Cyber Security and the Smart Grid: Implementing Security Controls into the Modern Power Infrastructure
Applied Cyber Security and the Smart Grid: Implementing Security Controls into the Modern Power Infrastructure
Cyber security is big business today. Smart Grid is big business today. Therefore let’s put the two together and write a book? Well, surely there will be some individuals that may make that assumption as to the motivation behind the publication of this book. The real motivation behind the development of this book is because...
Essential Tools for Operations Management: Tools, Models and Approaches for Managers and Consultants
Essential Tools for Operations Management: Tools, Models and Approaches for Managers and Consultants

The third book in the Essential Tools For series… on the topic of Operations Management

Based on Simon Burtonshaw-Gunn's successful The Essential Management Toolbox, this book focuses in greater depth on the topic of Operations Management. This third book covers the areas of marketing, CRM and Product...

Enterprise Interoperability V: Shaping Enterprise Interoperability in the Future Internet (Proceedings of the I-ESA Conferences)
Enterprise Interoperability V: Shaping Enterprise Interoperability in the Future Internet (Proceedings of the I-ESA Conferences)

Within a scenario of globalised markets, where the capacity to efficiently cooperate with other firms starts to become essential in order to remain in the market in an economically, socially and environmentally cost-effective manner, it can be seen how the most innovative enterprises are beginning to redesign their business model to become...

Encyclopedia of Electronic Circuits Volume 2
Encyclopedia of Electronic Circuits Volume 2

Just about everyone involved in electronics has experienced the frustration of searching for the particular power supply, temperature control circuit, or audio power amplifier circuit that exactly fills a need. The Encyclopedia of Electronics Circuits, Volume 1 has changed all that. Volume 1 of this outstanding pair includes more than 1,300...

Global Energy Policy and Security (Lecture Notes in Energy)
Global Energy Policy and Security (Lecture Notes in Energy)

Despite efforts to increase renewables, the global energy mix is still likely to be dominated by fossil-fuels in the foreseeable future, particularly gas for electricity and oil for land, air and sea transport. The reliance on depleting conventional oil and natural gas resources  and the geographic distribution of these reserves can have...

Intelligent Energy Demand Forecasting (Lecture Notes in Energy)
Intelligent Energy Demand Forecasting (Lecture Notes in Energy)

As industrial, commercial, and residential demands increase and with the rise of privatization and deregulation of the electric energy industry around the world, it is necessary to improve the performance of electric operational management. Intelligent Energy Demand Forecasting offers approaches and methods to calculate optimal...

Humanitarian and Relief Logistics: Research Issues, Case Studies and Future Trends
Humanitarian and Relief Logistics: Research Issues, Case Studies and Future Trends

This edited volume highlights recent research advances in humanitarian relief logistics. The contributed chapters span the spectrum of key issues and activities from preparedness to mitigation operations (response), planning and execution. The volume also presents state-of-the-art methods and systems through current case studies.

...

The Drinking Water Handbook, Second Edition
The Drinking Water Handbook, Second Edition

When you open the tap to fill your glass with drinking water, you expect the water to be of good quality. But is the water from your tap really safe? The second edition of an industry-wide bestseller, The Drinking Water Handbook explains the many processes employed to make water safe to drink. Starting at the source, it...

Advances in Bioethanol (SpringerBriefs in Applied Sciences and Technology)
Advances in Bioethanol (SpringerBriefs in Applied Sciences and Technology)
Disadvantages of fossil fuel derived transportation fuels (greenhouse gas emissions, pollution, resource depletion, unbalanced supply-demand relations) are strongly reduced or even absent with biotransportation fuels. Of all biofuels, ethanol is already produced on a fair scale. It produces slightly less greenhouse emissions than...
The Microeconomic Growth
The Microeconomic Growth

This book primarily discusses what could make the economy remain stable and increase the level of coordination, both on the demand and supply side, a fascinating question for economists. In this context, it systematically analyzes the theory of consumption and production growth. Most of the existing economic growth theories fail to analyze...

Result Page: 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy