Computer Science 18

How do we design a self-organizing system? Is it possible to validate and control non-deterministic dynamics? What is the right balance between the emergent patterns that bring robustness, adaptabil……続きを見る

Software testing has been considered so important that organizations can assign teams only for testing activities. Testing is an important activity to ensure software quality. Tests are usually run ……続きを見る

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a program……続きを見る

Around the world, citizens in local communities are utilising ICTs to underpin the creation of a participatory and democratic vision of the network society. Embedded in the richness and diversity of……続きを見る

What is it about the music you love that makes you want to hear it again? Why do we crave a "hook" that returns, again and again, within the same piece? And how does a song end up getting stuck in y……続きを見る

ITIL® Version 3 At a Glance takes a graphical approach to consolidating the information of ITIL® version 3. ITIL® is an internationally-recognized set of best practices for providing IT service mana……続きを見る

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear……続きを見る

The cryptosystems based on the Integer Factorization Problem (IFP), the Discrete Logarithm Problem (DLP) and the Elliptic Curve Discrete Logarithm Problem (ECDLP) are essentially the only three type……続きを見る

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the……続きを見る

Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many ……続きを見る

This text sheds light on how mathematical models and computing can help understanding and prediction of complicated physical processes; how communication networks should be designed and implemented ……続きを見る

Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks. This book is a Starter which teaches you how to……続きを見る

Systems analysis and design have solved many problems, but they have also created many problems. This unique book tackles crucial analysis and design issues that are glossed over in conventional tex……続きを見る

This book explores the dynamic processes in economic systems, concentrating on the extraction and use of the natural resources required to meet economic needs. Sections cover methods for dynamic mod……続きを見る

This book presents the reader with new operators and matrices that arise in the area of matrix calculus. The properties of these mathematical concepts are investigated and linked with zero-one matri……続きを見る

This book investigates the contextual factors that led to Korean society becoming ‘broadband heaven’ ー the most wired nation in the world ー by scrutinizing the historical contexts surrounding the ……続きを見る

How to make customers feel good about doing what you want Learn how companies make us feel good about doing what they want. Approaching persuasive design from the dark side, this book melds psycholo……続きを見る

The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive ……続きを見る

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this……続きを見る

The ultimate goal of machines is to help humans to solve problems. Such problems range between two extremes: structured problems for which the solution is totally defined (and thus are easily progra……続きを見る

In this book, a number of experts from various disciplines take a look at three different strands in learning to model. They examine the activity of modeling from disparate theoretical standpoints, ……続きを見る

Since the appearance of the first edition of 'Energy Simulation in Building Design', the use of computer-based appraisal tools to solve energy design problems within buildings has grown rapidly. A l……続きを見る

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminatin……続きを見る

Symmetry and Pattern in Projective Geometry is a self-contained study of projective geometry which compares and contrasts the analytic and axiomatic methods. The analytic approach is based on homoge……続きを見る

This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction……続きを見る

Computer Organization and Design, Fourth Edition, has been updated with new exercises and improvements throughout suggested by instructors teaching from the book. It covers the revolutionary change ……続きを見る

Fracture mechanics has established itself as an important discipline of growing interest to those working to assess the safety, reliability and service life of engineering structures and materials. ……続きを見る

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Int……続きを見る

IT securiteers - The human and technical dimension working for the organisation. Current corporate governance regulations and international standards lead many organisations, big and small, to the c……続きを見る

This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining the reader-friendly style of the 1st edi……続きを見る