You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Redundancies in program source code - software clones - are a common phenomenon. Although it is often claimed that software clones decrease the maintainability of software systems and need to be managed, research in the last couple of years showed that not all clones can be considered harmful. A sophisticated assessment of the relevance of software clones and a cost-benefit analysis of clone management is needed to gain a better understanding of cloning and whether it is truly a harmful phenomenon. This thesis introduces techniques to model, analyze, and evaluate versatile aspects of software clone evolution within the history of a system. We present a mapping of non-identical clones across ...
Adresses the art of controlling and updating your library's collection. Discussions of the importance and logistics of electronic resources are integrated throughout the book.
Entropy Theory and its Application in Environmental and Water Engineering responds to the need for a book that deals with basic concepts of entropy theory from a hydrologic and water engineering perspective and then for a book that deals with applications of these concepts to a range of water engineering problems. The range of applications of entropy is constantly expanding and new areas finding a use for the theory are continually emerging. The applications of concepts and techniques vary across different subject areas and this book aims to relate them directly to practical problems of environmental and water engineering. The book presents and explains the Principle of Maximum Entropy (POME...
Written by a world-renowned expert on programming methodology, and the winner of the 2008 Turing Award, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify. Its emphasis is on modular program construction: how to get the modules right and how to organize a program as a collection of modules. The book presents a methodology effective for either an individual programmer, who may be writing a small program or a single module in a larger one; or a software engineer, who may be part of a team developing a complex program comprised of many modules. Both audiences will acquire a solid foundation for object-oriented program desi...
This is a multidisciplinary textbook on social commerce by leading authors of e-commerce and e-marketing textbooks, with contributions by several industry experts. It is effectively the first true textbook on this topic and can be used in one of the following ways: Textbook for a standalone elective course at the undergraduate or graduate levels (including MBA and executive MBA programs) Supplementary text in marketing, management or Information Systems disciplines Training courses in industry Support resources for researchers and practitioners in the fields of marketing, management and information management The book examines the latest trends in e-commerce, including social businesses, soc...
The Workshop Volume from the Humans and Computers Conference documents the advanced tutorials that were presented to deepen the understanding gained from the conference lectures. It presents case studies along with accompanying exercises.
This volume collects for the first time interdisciplinary findings in ophthalmology concerning effectiveness and indications of antiseptics for the prophylaxis and therapy of infections. The first part discusses the use of various antiseptics against colonization, contamination and infection of the eye caused by viruses, bacteria, fungus and protozoa in comparison to topical antibiotics. The spectrum of action, the risk of resistance of only microbiostatic active agents and the galenic requirements of antiseptics are included as well as the local and systemic tolerance. New data to iodophors, polyhexanide and magnesium monoperphthalate are presented, and, for the first time, microbiologic re...
This book covers water quality indices (WQI) in depth – it describes what purpose they serve, how they are generated, what are their strengths and weaknesses, and how to make the best use of them. It is a concise and unique guide to WQIs for chemists, chemical/environmental engineers and government officials. Whereas it is easy to express the quantity of water, it is very difficult to express its quality because a large number of variables determine the water quality. WQIs seek to resolve the difficulty by translating a set of a large number of variables to a one-digit or a two-digit numeral. They are essential in communicating the status of different water resources in terms of water qual...
Globalization of Water is a first-of-its-kind review of the critical relationship between globalization and sustainable water management. It explores the impact of international trade on local water depletion and pollution and identifies “water dependent” nations. Examines the critical link between water management and international trade, considering how local water depletion and pollution are often closely tied to the structure of the global economy Offers a consumer-based indicator of each nation’s water use: the water footprint Questions whether trade can enhance global water use efficiency, or whether it simply shifts the environmental burden to a distant location Highlights the hidden link between national consumption and the use of water resources across the globe, identifying the threats facing ‘water dependent’ countries worldwide Provides a state-of-the-art review and in-depth data source for a new field of knowledge
Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To the best of our knowledge, there is no single book that covers the vast range of applications of automata theory targeted at a mature student audience. This book is intended to fill that gap and can be used as an intermediate-level textbook. It begins with a detailed treatment of foundational material not normally covered in a beginner's course in automata theory, and then rapidly moves on to applications. The book is largely devoted to verification and model checking, and contains material that is at the cutting edge of verification technology. It will be an invaluable reference for software practitioners working in this area.