Computer Technology and Computer Programming

Judith Gersting's Mathematical Structures for Computer Science has long been acclaimed for its clear presentation of essential concepts and its exceptional range of applications relevant to computer s

The technology of mechanized program verification can play a supporting role in manykinds of research projects in computer science, and related tools for formal proof-checking areseeing increasing ado

"This book overviews the possibilities and limitations offered by various types of computer programs, such as database management systems, diagramming software, CAD, and BIM, offering a practical appr

Based on a rigorous selection from 58 proposals coming from across the world, this volume will include some of the most recent ideas and technical results in computer systems, computer science, and co

This book covers performance analysis of computer networks, and begins by providing the necessary background in probability theory, random variables, and stochastic processes. Queuing theory and sim

Automation systems, often referred to as SCADA systems, involve programming at several levels; these systems include computer type field controllers that monitor and control plant equipment such as co

This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the b

"The summary of this title has changed. Please replace the current summary with the following: Computer Sciences, 2nd Edition reviews the history of the discipline and concepts, as well as profiles co

Assessment is a key driver in mathematics education. This book examines computer aided assessment (CAA) of mathematics in which computer algebra systems (CAS) are used to establish the mathematical pr

"This book introduces the theory of the finite element method using a balanced approach between its mathematical formulations and programming implementation. The computer implementation is carried out

In the computer world, there are a remarkable number of people who have not yet mastered the theories and practice of computer arithmetic. Kulisch, the author, has updated this second edition to inclu

Offering a complex view on the current state of the art in computer graphics, programmable graphics hardware, shaders, and shader-based effects, this unique text covers nearly all aspects of modern co

With the increasing advances in hardware technology for data collection, and advances in software technology (databases) for data organization, computer scientists have increasingly participated in th

Incorporating Compass Computer Access Assessment software, Computer Access for People with Disabilities: A Human Factors Approach provides the information clinicians need to know in order to provide e

"This book provides the global perspective and efforts in building and applying pervasive and ubiquitous computer technology"--

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.

Andrew Piper grew up liking books and loving computers. While occasionally burying his nose in books, he was going to computer camp, programming his Radio Shack TRS-80, and playing Pong. His eventual

In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and

"This book addresses issues of human and technology interaction with coverage ranging from more technical subjects such as computer science, engineering, and information systems, to non-technical desc

This indispensable text introduces the foundations of three-dimensional computer vision and describes recent contributions to the field. Fully revised and updated, this much-anticipated new edition re

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

An understanding of the senses - vision, hearing, touch, chemical and other non-human senses - is important not only for many fields of biology but also in applied areas such as human-computer interaction, robotics and computer games. Using information theory as a unifying framework, this is a wide-ranging survey of sensory systems, covering all known senses. The book draws on three unifying principles to examine senses: the Nyquist sampling theorem, Shannon's information theory, and the creation of different streams of information to subserve different tasks. This framework is used to discuss the fascinating role of sensory adaptation in the context of environment and lifestyle. Providing a fundamental grounding in sensory perception, the book then demonstrates how this knowledge can be applied to the design of human-computer interfaces and virtual environments. It is an ideal resource for both graduate and undergraduate students of biology, engineering (robotics) and computer science

This collection of eighteen articles on computer security and programming showcases current scholarship in a variety of topics relating to the development of security aware systems and software. Topic

The subject of this book is the analysis and design of digital devices that implement computer arithmetic. The book's presentation of high-level detail, descriptions, formalisms and design principles

Recent advancements in information systems and computer technology have led to developments in equipment and robotic technology that have permanently changed the characteristics of manufacturing equip

At the nexus of high finance and sophisticated computer programming, a terrifying future may be unfolding even now. ? Dr. Alex Hoffmann’s name is carefully guarded from the general public, but within

A systematic computer-aided approach provides a versatile setting for the control engineer to overcome the complications of controller design for highly nonlinear systems. Computer-aided Nonlinear Con

Metal cutting is widely used in producing manufactured products. The technology has advanced considerably along with new materials, computers and sensors. This new edition considers the scientific principles of metal cutting and their practical application to manufacturing problems. It begins with metal cutting mechanics, principles of vibration and experimental modal analysis applied to solving shop floor problems. There is in-depth coverage of chatter vibrations, a problem experienced daily by manufacturing engineers. Programming, design and automation of CNC (computer numerical control) machine tools, NC (numerical control) programming and CAD/CAM technology are discussed. The text also covers the selection of drive actuators, feedback sensors, modelling and control of feed drives, the design of real time trajectory generation and interpolation algorithms and CNC-oriented error analysis in detail. Each chapter includes examples drawn from industry, design projects and homework probl

This book presents a broad overview of computer graphics (CG), its history, and the hardware tools it employs. Covering a substantial number of concepts and algorithms, the text describes the techniqu

This work is for anyone who teaches, studies, or practices cross-cultural computer-mediated communication, including executives and managers, marketers and service providers, academic and corporate re

In this resource for teachers and educators, international contributors offer perspectives on current issues and emerging trends related to computer-mediated communication used in education. Contribut

Technology computer-aided design, or TCAD, is critical to today’s semiconductor technology and anybody working in this industry needs to know something about TCAD. This book is about how to use comput

This comprehensive introductory computer graphics textbook focuses on conceptual aspects of computer graphics, covering the fundamental mathematical models as well as the inherent problems encountere

A brain-computer interface (BCI) establishes a direct output channel between the human brain and external devices. BCIs infer user intent via direct measures of brain activity and thus enable communic

With a background in computer science and mathematics, Lengyel has been writing game engines for over 16 years. Here he describes the mathematical techniques that a software engineer needs to develop

Written by an information security specialist, this second edition of Investigating Computer-Related Crime discusses cybercrime, its investigation, and the difficulties encountered by both public law

Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also in

Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions. Brent and Zimmermann present algorithms that are ready to implement in your favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent details. The book is intended for anyone interested in the design and implementation of efficient high-precision algorithms for computer arithmetic, and more generally efficient multiple-precision numerical algorithms. It may also be used in a graduate course in mathematics or computer science, for which exercises are included. These vary considerably in difficulty, from easy to small research projects, and expand on topics discussed in the text. Solutions to selected e

The fourth edition of this undergraduate level computer graphics textbook includes new and updated information on OpenGL programmable shaders, new features of the OpenGL 4.x series and expanded suppor

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.