Mathematics of Discrete Structures for Computer Science

Hands-on Help is a narrative review of the mushrooming field of computer-aided psychotherapy for mental health problems as a whole, from the time it began in the 1960’s through to the present day. The

How can we make sure that our kids are learning to be creative thinkers in a world of global competition--and what does that mean for the future of education in the digital age? David Williamson Shaf

An Atlas for the 21st CenturyThe most precise, cutting-edge images of normal spinal anatomy available today are the centerpiece of this spectacular atlasfor clinicians, trainees, and students in the n

This is the 148th volume of this Jossey-Bass higher education series. It offers a comprehensive range of ideas and techniques for improving college teaching based on the experience of seasoned instruc

The author of this book won a Nobel Prize for his contributions to the knowledge of electronic structure and geometry of molecules. In this classic text, he offers a concise introduction to diatomic r

This collection of eleven articles on human computer interaction highlights current research in integrated computing systems for both public and personal transportation. Topics discussed include trave

Originally published in 1989 this title provided a comprehensive and authoritative introduction to the burgeoning discipline of human-computer interaction for students, academics, and those from indus

Originally published in 1989 this title provided a comprehensive and authoritative introduction to the burgeoning discipline of human-computer interaction for students, academics, and those from indus

This innovative text provides an excellent introduction to computer-related crimes and the basics of investigating them. It presents clear, concise explanations for students and professionals, who nee

A comprehensive research guide for both quantitative and qualitative research methodsWritten by a team of authorities in human-computer interaction (HCI) and usability, this pedagogical guide walks yo

Verilog Hardware Description Language (HDL) is the state-of-the-art method for designing digital and computer systems. Ideally suited to describe both combinational and clocked sequential arithmetic c

This collection of 98 papers from the 2001 conference reports new developments in computer modeling and automation for the various manufacturing industries. The main subjects are computer-aided proce

The Most Comprehensive Book for the Computer-Based Electrical and Computer FE ExamThe FE Electrical and Computer Review Manual offers complete coverage of Electrical and Computer FE exam knowledge are

Introduces the basic concepts and characteristics of string pattern matching strategies and provides numerous references for further reading. The text describes and evaluates the BF, KMP, BM, and KR a

This new networking text follows a top-down approach. The presentation begins with an explanation of the application layer, which makes it easier for students to understand how network devices work,

"Have you ever wondered where the term debugging comes from? Learn about Grace Hopper, a computer scientist and U.S. Navy Rear Admiral, known for her contributions to the early development of computer

This volume is dedicated to Jacob Aboudi, a ?ne scientist who has made seminal c- tributions in applied mechanics. The papers presented here re?ect the appreciation of many of Jacob’s colleagues. A pu

Glassner has expanded some of his columns from IEEE Computer Graphics and Applications for this computer graphics tutorial. He explains how to make pop-up books and cards, create weaves and tartans, a

Everything casual users need to know to get the most out of their new Windows 7 PCs, software, and the Internet The best-selling beginner's guide, now completely updated for Windows 7 and today's

Teaches students how to solve ethical dilemmas in the field of computing, taking a philosophical, rather than a legal, approach to the topic. It first examines the principles of Idealism, Realism, Pragmatism, Existentialism, and Philosophical Analysis, explaining how each of them might be adopted as a basis for solving computing dilemmas. The book then presents a worksheet of key questions to be used in solving dilemmas. Twenty-nine cases, drawn from the real-life experiences of computer professionals, are included in the book as a means to let students experiment with solving ethical dilemmas and identify the philosophical underpinnings of the solutions.

This book presents practical hydraulic and river engineering research along with fluvial geomorphological concepts, and links the theoretical and practical knowledge of people working every day with r

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.

A basic problem in computer vision is to understand the structure of a real world scene given several images of it. Techniques for solving this problem are taken from projective geometry and photogrammetry. Here, the authors cover the geometric principles and their algebraic representation in terms of camera projection matrices, the fundamental matrix and the trifocal tensor. The theory and methods of computation of these entities are discussed with real examples, as is their use in the reconstruction of scenes from multiple images. The new edition features an extended introduction covering the key ideas in the book (which itself has been updated with additional examples and appendices) and significant new results which have appeared since the first edition. Comprehensive background material is provided, so readers familiar with linear algebra and basic numerical methods can understand the projective geometry and estimation algorithms presented, and implement the algorithms directly fr

"The International Ergonomics Association (IEA) is currently developing standards for Ergonomic Quality in Design (EQUID) which primarily intends to promote ergonomics principles and the adaptation of

What could be more fun for kids than to have the kind of rip-roaring good time that harkens back to pre-video game, pre-computer days? Introducing 64 valuable science experiments that snap, crackle,

The standard rules of probability can be interpreted as uniquely valid principles in logic. In this book, E. T. Jaynes dispels the imaginary distinction between 'probability theory' and 'statistical inference', leaving a logical unity and simplicity, which provides greater technical power and flexibility in applications. This book goes beyond the conventional mathematics of probability theory, viewing the subject in a wider context. New results are discussed, along with applications of probability theory to a wide variety of problems in physics, mathematics, economics, chemistry and biology. It contains many exercises and problems, and is suitable for use as a textbook on graduate level courses involving data analysis. The material is aimed at readers who are already familiar with applied mathematics at an advanced undergraduate level or higher. The book will be of interest to scientists working in any area where inference from incomplete information is necessary.

Tackling the questions that systems designers care about, this book brings queueing theory decisively back to computer science. The book is written with computer scientists and engineers in mind and is full of examples from computer systems, as well as manufacturing and operations research. Fun and readable, the book is highly approachable, even for undergraduates, while still being thoroughly rigorous and also covering a much wider span of topics than many queueing books. Readers benefit from a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises – all while acquiring the skills needed to model, analyze and design large-scale systems with good performance and low cost. The exercises are an important feature, teaching research-level counterintuitive lessons in the design of computer systems. The goal is to train readers not only to customize existing analyses but also to invent their own.

This remarkable reference book tells the story of science from earliest times to the present day, taking in everything from ancient Greek geometry to quantum physics, and the wedge to the worldwide web. Exploring science in a thematic, highly approachable manner, each spread takes as its theme a specific event, discovery, invention, experiment, theory, or individual and explains why this subject was so significant in the development of scientific thought and what its impact on history has been. In addition to providing a broad-ranging and comprehensive history of science, the book also explains how science works, employing DK's trademark clarity and visual ingenuity to render tricky scientific subjects easily comprehensible. Science is structured chronologically with five chapters covering major phases in world history from ancient times to the present day, with an eye to the future. Within these chapters, subjects are arranged in discrete spreads, each of which takes a key scientific