Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Verification and Analysis: An Integrated, Hands-On Approach
Software Verification and Analysis: An Integrated, Hands-On Approach
This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).

Three major software verification techniques are discussed: Semantic program synthesis and...

Waste to Energy: Opportunities and Challenges for Developing and Transition Economies
Waste to Energy: Opportunities and Challenges for Developing and Transition Economies

Solid waste management is currently a major issue worldwide with numerous areas reaching critical levels. Many developing countries and countries in transition still miss basic waste management  infrastructure and awareness. It is here that many of the solid waste management problems and challenges are currently being faced. As such,...

The Scrum Field Guide: Agile Advice for Your First Year and Beyond (2nd Edition)
The Scrum Field Guide: Agile Advice for Your First Year and Beyond (2nd Edition)

Extensively revised to reflect improved Scrum practices and tools, this edition adds an all-new section of tips from the field. 



The 1st Edition has a 5-Star Amazon Customer Rating and 135 reviews.

Thousands of organizations are adopting Scrum to
...
Microbiological Research In Agroecosystem Management
Microbiological Research In Agroecosystem Management

Agroecosystem is an ideal dynamic functional system with a set of chemical and biological interaction taking place in plant surface either below or above the ground levels. These levels of interaction activities fundamentally with microorganism-plant-soil systems are extended upto the level of entire agricultural economy. Greatly simplified,...

Procedural Content Generation for C++ Game Development
Procedural Content Generation for C++ Game Development

Get to know techniques and approaches to procedurally generate game content in C++ using Simple and Fast Multimedia Library

About This Book

  • This book contains a bespoke Simple and Fast Multimedia Library (SFML) game engine with complete online documentation
  • Through this book, you'll...
Dreamweaver MX 2004 Savvy(tm)
Dreamweaver MX 2004 Savvy(tm)
Savvy - n. Practical know-how.

Dreamweaver MX 2004 Savvy is an incredibly in-depth and thorough guide to Macromedia's powerful web publishing software. This book includes detailed coverage of everything from migrating sites over from other applications to using Cascading Style Sheets to working with the...

Cognitive Networks: Towards Self-Aware Networks
Cognitive Networks: Towards Self-Aware Networks

Cognitive networks can dynamically adapt their operational parameters in response to user needs or changing environmental conditions. They can learn from these adaptations and exploit knowledge to make future decisions.

Cognitive networks are the future, and they are needed simply because they enable users to focus on things other...

Beginning Digital Image Processing: Using Free Tools for Photographers
Beginning Digital Image Processing: Using Free Tools for Photographers

Since the advent of digital photography, we have been able to post-process our pictures. However, to do it properly, we have to become digital art apprentices. Sebastian Montabone is a computer vision expert who wants us to use our cameras and image processing software to come up with works of art. In this book, he teaches image processing...

Cloud Computing: Web-Based Dynamic IT Services
Cloud Computing: Web-Based Dynamic IT Services

Cloud computing is on everyone’s lips: as an innovative technology, as the next generation of the Internet, as a fundamental transformation of the entire IT landscape, and as an auspicious opportunity to introduce new business ideas. But what is actually at the heart of this notion?

As a result of the multi-faceted...

Getting Started with Hazelcast
Getting Started with Hazelcast

An easy-to-follow and hands-on introduction to the highly scalable data distribution system, Hazelcast, and its advanced features.

Overview

  • Understand how to revolutionize the way you share data across your application
  • A one-stop guide to this bleeding edge technology
  • Store...
Enterprise Risk Management: From Incentives to Controls
Enterprise Risk Management: From Incentives to Controls

A fully revised second edition focused on the best practices of enterprise risk management

Since the first edition of Enterprise Risk Management: From Incentives to Controls was published a decade ago, much has changed in the worlds of business and finance. That's why James Lam has returned with a new edition of...

Understanding the Impact of INSET on Teacher Change in China
Understanding the Impact of INSET on Teacher Change in China

This pivot considers the impact of INSET courses on EFL teachers practicing under the national curriculum reform in China. Providing context-specific findings on the policy and implementation of INSET as well as its impact on teacher education initiatives in both China and similar contexts, it explores the limitations of one off...

unlimited object storage image
Result Page: 175 174 173 172 171 170 169 168 167 166 165 164 163 162 161 160 159 158 157 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy