Skip to main content
View Cart

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

BooksJournals

  • Teaching and Learning Formal Methods

    • 1st Edition
    • C. Neville Dean
    • English
    As computer systems continue to advance, the positions they hold in human society continue to gain power. Computers now control the flight of aircraft, the cooling systems in chemical plants, and feedback loops in nuclear reactors. Because of the vital roles these systems play, there has been growing concern about the reliability and safety of these advanced computers.Formal methods are now widely recognized as the most successful means of assuring the reliability of complex computer systems. Because formal methods are being mandated in more and more international standards, it is critical that engineers, managers, and industrial project leaders are well trained and conversant in the application of these methods.This book covers a broad range of issues relating to the pedagogy of formal methods. The contributors, all acknowledged experts, have based their contributions on extensive experiences teaching and applying formal methods in both academia and industry.The two editors, both well known in this area, propose various techniques that can help to dismiss myths that formal methods are difficult to use and hard to learn.Teaching and Learning Formal Methods will be an indispensable text for educators in the fields of computer science, mathematics, software engineering, and electronic engineering as well as to management and product leaders concerned with trainingrecent graduates.

  • Brain Theory

    Biological Basis and Computational Principles
    • 1st Edition
    • A. Aertsen + 1 more
    • English
    The present collection of papers focuses on the subject of vision. The papers bring together new insights and facts from various branches of experimental and theoretical neuroscience. The experimental facts presented in the volume stem from disparate fields, such as neuroanatomy, electrophysiology, optical imaging and psychophysics. The theoretical models in part are unsophisticated, yet still inspiring, while others skilfully apply advanced mathematical reasoning to results of experimental measurements. The book is the fifth in a series of volumes intending to define a theory of the brain by bringing together formal reasoning and experimental facts. The reader is thus being introduced to a new kind of brain science, where facts and theory are beginning to blend together.

  • Topological Algorithms for Digital Image Processing

    • 1st Edition
    • Volume 19
    • T.Y. Kong + 1 more
    • English
    Basic topological algorithms are the subject of this new book. It presents their underlying theory and discusses their applications.Due to the wide variety of topics treated in the seven chapters, no attempt has been made to standardize the notation and terminology used by the authors. Each chapter, however, is self-contained and can be read independently of the others. Some of the basic terminology and fundamental concepts of digital topology are reviewed in the appendix which also describes important areas of the field. A bibliography of over 360 references is also provided.The notations and terminologies used in this book will serve to introduce readers to the even wider variety that exists in the voluminous literature dealing with topological algorithms.

  • Jim Blinn's Corner: A Trip Down the Graphics Pipeline

    • 1st Edition
    • Jim Blinn
    • English
    For almost three decades eminent computer graphicist Jim Blinn has coupled his scientific knowledge and artistic abilities to foster the growth of the computer graphics field. His many contributions include the Voyager Fly-by animations of space missions to Jupiter, Saturn, and Uranus; The Mechanical Universe, a 52-part telecourse of animated physics; and the computer animation of Carl Sagan's PBS series Cosmos. In addition, Blinn, the recipient of the first SIGGRAPH Computer Graphics Achievement Award, has developed many widely used graphics techniques, including bump mapping, environment mapping, and blobby modeling.Blinn shares his insight and experience in "Jim Blinn's Corner," an award-winning column in the technical magazine IEEE Computer Graphics and Applications in which he unveils his most useful graphics methods and observations. This book, a compendium of 20 of the column's articles, leads you through the "graphics pipeline" offering a wealth of tips and tricks. It explores common graphics problems, many of which have never before been addressed.An invaluable resource for any graphics professionalIn his entertaining and inspirational style, Blinn examines a variety of topics to help computer graphics software and application developers recognize and solve graphics programming problems. Focusing on geometry and the graphics pipeline, he shares:easy to understand explanations of difficult concepts gleaned from years of teachinginteresting examples of tricky special cases that cause conventional algorithms to failhighly refined algorithms for clipping, viewing, lighting, and rendering

  • Artificial Intelligence

    • 1st Edition
    • Margaret A. Boden
    • English
    Artificial Intelligence is the study of how to build or program computers to enable them to do what minds can do. This volume discusses the ways in which computational ideas and computer modeling can aid our understanding of human and animal minds. Major theoretical approaches are outlined, as well as some promising recent developments. Fundamental philosophical questions are discussed along with topics such as: the differences between symbolic and connectionist AI, planning and problem solving, knowledge representation, learning, expert systems, vision, natural language, creativity, and human-computer interaction. This volume is suitable for any psychologist, philosopher, or computer scientist wanting to know the current state of the art in this area of cognitive science.

  • Inside OrCAD

    • 1st Edition
    • Chris Schroeder
    • English
    Inside OrCAD goes beyond the reference guide supplied by OrCAD. It contains an overview and introduction to modern schematic drafting, with exercises intended to help the reader master the use of OrCAD via a 'hands-on' learning experience - information that has been de-emphasized in the manuals for recent OrCAD versions.This introduction to OrCAD is designed to give easy access to practical information. The command reference is a complete listing and explanation of the OrCAD commands and functions. A series of appendices provide important tips and techniques and information about linking OrCAD to other Computer Aided Design and Computer Aided Engineering tools used in the electronics design process. The enclosed disk contains a parts library for the tutorial exercises and several useful utilities, making this book a valuable tool for the design engineer or engineering student. Chris Schroeder is the Technical Director, Electronics, For Crane Technologies Group, Inc., Daytona Beach, Florida, a leading automotive aftermarket and original equipment supplier. He has 19 years of engineering, marketing, and management experience in the electronics industry and has a broad, yet in-depth technical knowledge of both design and manufacturing. His specialized areas of design expertise include: embedded controls using RISC microcontroller technology, assembly language programming, magnetic design for switching power supplies and ignition coils, and printed circuit board design, including the use of surface mount technology.

  • Computer-Aided Molecular Design

    Theory and Applications
    • 1st Edition
    • Jean-Pierre Doucet + 1 more
    • English
    The computer-aided design of novel molecular systems has undoubtedly reached the stage of a mature discipline offering a broad range of tools available to virtually any chemist. However, there are few books coveringmost of these techniques in a single volume and using a language which may generally be understood by students or chemists with a limited knowledge of theoretical chemistry. The purpose of this book is precisely to review, in such a language, both methodological aspects and important applications of computer-aided molecular design (CAMD), with a special emphasis on drug design and protein modeling.Using numerous examples ranging from molecular models to shapes, surfaces, and volumes, Computer-Aided Molecular Design provides coverage of the role molecular graphics play in CAMD. The text also treats the very notion of the structure of molecular systems by presenting both the various experimental techniques giving access to it and the most common model builders based on force fields. Separate chapters are devoted to other important topics in CAMD, such as Monte Carlo and molecular dynamics simulations; most common quantum chemical methods; derivation and visualization of molecular properties; and molecular similarity. Finally, strategies used in protein modeling and drug design, such as receptor mapping and the pharmacophore approach, are presented and illustrated by several examples.The book is addressed to students and researchers who wish to enter this new exciting field of molecular sciences, but also practitioners in CAMD as a comprehensive source of refreshing information in their field.

  • Distributed Algorithms

    • 1st Edition
    • Nancy A. Lynch
    • English
    In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.Distribu... Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others.The material is organized according to the system model—first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference.The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms—to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

  • Computerization and Controversy

    Value Conflicts and Social Choices
    • 2nd Edition
    • Rob Kling
    • English
    The Second Edition of Computerization and Controversy: Value Conflicts and Social Choices is a collection of 78 articles that examine the social aspects of computerization from a variety of perspectives, many presenting important viewpoints not often discussed in the conventional literature. A number of paired articles comprise thought-provoking head-on debate. Fields represented include computer science, information systems, management, journalism, psychology, law, library science, and sociology. This volume introduces some of the major controversies surrounding the computerization of society and helps readers recognize the social processes that drive and shape computerization. Division into eight provocatively titled sections facilitates course planning for classroom or seminar use. A lead article for each section frames the major controversies, locates the selections within the debates, and points to other relevant literature.

  • Parallel Computational Fluid Dynamics '95

    Implementations and Results Using Parallel Computers
    • 1st Edition
    • A. Ecer + 3 more
    • English
    Parallel Computational Fluid Dynamics(CFD) is an internationally recognised fast-growing field. Since 1989, the number of participants attending Parallel CFD Conferences has doubled.In order to keep track of current global developments, the Parallel CFD Conference annually brings scientists together to discuss and report results on the utilization of parallel computing as a practical computational tool for solving complex fluid dynamic problems. This volume contains the results of research conducted during the past year.Subject areas covered include: novel parallel algorithms, parallel Euler and Navier-Stokes solvers, parallel Direct Simulation Monte Carlo method and parallel multigrid techniques. The content of the book also demonstrates that considerable effort is being made to utilize parallel computing to solve a variety of fluid dynamics problems in topics such as climate modeling, consultation, aerodynamics and in many other areas.Readers of this book will gain a valid insight into the exciting recent developments in Parallel CFD research.

Related subjects