Mathematics of Discrete Structures for Computer Science

This volume constitutes the first of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India,

Access to high-quality computer science instruction has grown by leaps and bounds in recent years. Thanks to this movement, more students start middle school with some foundational knowledge of comput

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and

Edited by an industrial-organizational psychologist (Orvis) and a professor of industrial/organizational psychology at Minnesota State U. (Lassiter), this examination of computer-supported collaborati

Digital Evidence and Computer Crime, Third Edition provides the knowledge necessary to uncover and use digital evidence effectively in any kind of investigation. The widely-adopted first and second ed

This text helps beginners develop their own Python programs. Experiments with fully completed programs are provided at the beginning of each chapter, allowing instructors to use the text in CS0 course

This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.

"This book is an essential publication outlining the future research opportunities and emerging technologies in the field of image processing, and the ways multi-core processing can further the field"

Properties of Composite Structures: Theory, Applications and Software covers the theoretical knowledge associated with damage development in composites and helps the reader to understand the basic pri

New technologies play an increasingly important role in the analysis, monitoring, restoration, and preservation of historic structures. These technological systems continue to get more advanced and co

The purpose of this book is to introduce the phosphorus (P) removal structure as a new BMP for reducing dissolved P loading to surface waters from non-point source pollution, provide guidance on d

Non-destructive technologies have gained popularity in recent years related to the tasks involving characterization and diagnosis of constructions. The application of geomatics in construction enginee

"Packed with worked examples, this practical design guide illustrates how Eurocode 2 may be used in practice. A short introduction outlines the fundamental objectives of design and referring to releva

For structural-mechanical engineers, this volume examines the safe design of mechanical structures, systems, and components in hazardous facilities so that they can withstand extreme loads, both those

In our day-to-day lives we constantly make decisions which are simply 'good enough' rather than optimal. Most computer-based decision-making algorithms, on the other hand, doggedly seek only the optimal solution based on rigid criteria and reject any others. In this book, Professor Stirling outlines an alternative approach, using novel algorithms and techniques which can be used to find satisficing solutions. Building on traditional decision and game theory, these techniques allow decision-making systems to cope with more subtle situations where self and group interests conflict, perfect solutions can't be found and human issues need to be taken into account - in short, more closely modelling the way humans make decisions. The book will therefore be of great interest to engineers, computer scientists and mathematicians working on artificial intelligence and expert systems.

In our day-to-day lives we constantly make decisions which are simply 'good enough' rather than optimal. Most computer-based decision-making algorithms, on the other hand, doggedly seek only the optimal solution based on rigid criteria and reject any others. In this book, Professor Stirling outlines an alternative approach, using novel algorithms and techniques which can be used to find satisficing solutions. Building on traditional decision and game theory, these techniques allow decision-making systems to cope with more subtle situations where self and group interests conflict, perfect solutions can't be found and human issues need to be taken into account - in short, more closely modelling the way humans make decisions. The book will therefore be of great interest to engineers, computer scientists and mathematicians working on artificial intelligence and expert systems.

A variable game changer for those companies operating in hostile, corrosive marine environments, Corrosion Control for Offshore Structures provides critical corrosion control tips and techniques that

The idea of infinity plays a crucial role in our understanding of the universe, with the infinite spacetime continuum perhaps the best-known example - but is spacetime really continuous? Throughout the history of science, many have felt that the continuum model is an unphysical idealization, and that spacetime should be thought of as 'quantized' at the smallest of scales. Combining novel conceptual analysis, a fresh historical perspective, and concrete physical examples, this unique book tells the story of the search for the fundamental unit of length in modern physics, from early classical electrodynamics to current approaches to quantum gravity. Novel philosophical theses, with direct implications for theoretical physics research, are presented and defended in an accessible format that avoids complex mathematics. Blending history, philosophy, and theoretical physics, this refreshing outlook on the nature of spacetime sheds light on one of the most thought-provoking topics in modern p