Skip to main content
Elsevier

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.

  • Formal Models and Semantics

    • 1st Edition
    • Volume B
    • Bozzano G Luisa
    • English
    The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

  • Introduction to Statistical Pattern Recognition

    • 2nd Edition
    • Keinosuke Fukunaga
    • English
    This completely revised second edition presents an introduction to statistical pattern recognition. Pattern recognition in general covers a wide range of problems: it is applied to engineering problems, such as character readers and wave form analysis as well as to brain modeling in biology and psychology. Statistical decision and estimation, which are the main subjects of this book, are regarded as fundamental to the study of pattern recognition. This book is appropriate as a text for introductory courses in pattern recognition and as a reference book for workers in the field. Each chapter contains computer projects as well as exercises.

  • Algorithms and Complexity

    • 1st Edition
    • Volume A
    • Bozzano G Luisa
    • English
    This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 78
    • English

  • Advances in Computers

    • 1st Edition
    • Volume 30
    • English

  • Minimalist Mobile Robotics

    • 1st Edition
    • Jonathan H. Connell
    • English
    Rather than using traditional artificial intelligence techniques, which are ineffective when applied to the complexities of real-world robot navigaiton, Connell describes a methodology of reconstructing intelligent robots with distributed, multiagent control systems. After presenting this methodology, hte author describes a complex, robust, and successful application-a mobile robot "can collection machine" which operates in an unmodified offifce environment occupied by moving people.

  • Decentralized A.I

    • 1st Edition
    • Y. Demazeau + 1 more
    • English
    Much research in Artificial Intelligence deals with a single agent having complete control over the world. A variation of this is Distributed AI (DAI), which is concerned with the collaborative solution of global problems by a distributed group of entities. This book deals with Decentralized AI (DzAI), which is concerned with the activity of an autonomous agent in a multi-agent world. The word ``agent'' is used in a broad sense, to designate an intelligent entity acting rationally and intentionally with respect to its goals and the current state of its knowledge. A number of these agents coexist and may collaborate with other agents in a common world; each agent may accomplish its own tasks, or cooperate with other agents to perform a personal or global task. The agents have imperfect knowledge about each other and about their common world, which they can update either through perception of the world, or by communication with each other.The papers were originally presented at a workshop held at King's College, Cambridge, and have been revised for this book.

  • Intelligent Mathematical Software Systems

    • 1st Edition
    • E.N. Houstis + 2 more
    • English
    Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate ``knowledge'' or ``expertise'' into these systems. A number of developments have helped in making the systems more powerful and user-friendly: algorithm/parameter selection for the solution of well-defined mathematical engineering problems; parallel computing; computer graphics technology; interface development tools; and of course the years of experience with these systems and the increase in available computing power have made it practical to fulfill the potential seen in the early years of their development.This book covers four main areas of the subject: Application Oriented Expert Systems, Advisory Systems, Knowledge Manipulation Issues, and User Interfaces.

  • Matrix Perturbation Theory

    • 1st Edition
    • G. W. Stewart + 1 more
    • English
    This book is a comprehensive survey of matrix perturbation theory, a topic of interest to numerical analysts, statisticians, physical scientists, and engineers. In particular, the authors cover perturbation theory of linear systems and least square problems, the eignevalue problem, and the generalized eignevalue problem as wellas a complete treatment of vector and matrix norms, including the theory of unitary invariant norms.

  • Model Theory

    • 3rd Edition
    • Volume 73
    • C.C. Chang + 1 more
    • English
    Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

  • Computational Intelligence, II

    • 1st Edition
    • G. Mauri + 2 more
    • English
    The focus of this volume is ``Heterogeneous Knowledge and Problem Solving Integration'', i.e. the combined use of different knowledge representation and problem solving paradigms.This is a central topic for the design and implementation of problem solving systems, since, from a pragmatic and engineering standpoint, the solution of a large class of problems cannot take place within one single representation language or problem solving paradigm. Heterogeneous systems represent not only a pragmatic answer, but also a theoretical alternative to the homogeneous paradigms.

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 77
    • English

  • Readings in Speech Recognition

    • 1st Edition
    • Alexander Waibel + 1 more
    • English
    After more than two decades of research activity, speech recognition has begun to live up to its promise as a practical technology and interest in the field is growing dramatically. Readings in Speech Recognition provides a collection of seminal papers that have influenced or redirected the field and that illustrate the central insights that have emerged over the years. The editors provide an introduction to the field, its concerns and research problems. Subsequent chapters are devoted to the main schools of thought and design philosophies that have motivated different approaches to speech recognition system design. Each chapter includes an introduction to the papers that highlights the major insights or needs that have motivated an approach to a problem and describes the commonalities and differences of that approach to others in the book.

  • Cache and Memory Hierarchy Design

    A Performance Directed Approach
    • 1st Edition
    • Steven A. Przybylski
    • English
    An authoritative book for hardware and software designers. Caches are by far the simplest and most effective mechanism for improving computer performance. This innovative book exposes the characteristics of performance-optimal single and multi-level cache hierarchies by approaching the cache design process through the novel perspective of minimizing execution times. It presents useful data on the relative performance of a wide spectrum of machines and offers empirical and analytical evaluations of the underlying phenomena. This book will help computer professionals appreciate the impact of caches and enable designers to maximize performance given particular implementation constraints.

  • Computers and Conversation

    • 1st Edition
    • Paul Luff + 2 more
    • English
    In the past few years a branch of sociology, conversation analysis, has begun to have a significant impact on the design of human*b1computer interaction (HCI). The investigation of human*b1human dialogue has emerged as a fruitful foundation for interactive system design.****This book includes eleven original chapters by leading researchers who are applying conversation analysis to HCI. The fundamentals of conversation analysis are outlined, a number of systems are described, and a critical view of their value for HCI is offered.****Computer... and Conversation will be of interest to all concerned with HCI issues--from the advanced student to the professional computer scientist involved in the design and specification of interactive systems.

  • A General Explanation-Based Learning Mechanism and its Application to Narrative Understanding

    • 1st Edition
    • Raymond J. Mooney
    • English

  • X Window System Toolkit

    The Complete Programmer's Guide and Specification
    • 1st Edition
    • Paul J. Asente + 1 more
    • English
    X Window System Toolkit

  • Stimulus-Response Compatibility

    An Integrated Perspective
    • 1st Edition
    • Volume 65
    • R.W. Proctor + 1 more
    • English
    Stimulus-response compatibility refers to the finding that certain mappings of stimuli to responses produce faster and more accurate responding than do others. The present volume surveys compatibility research which falls into four broad categories: (a) mental representation and coding (b) neurophysiological mechanisms (c) motor performance (d) human factors applications. The major findings and models within each of the categories are summarized, and an integrated perspective is provided. The research indicates that compatibility effects reflect basic cognitive processes that bear on a range of issues in cognitive science and that have applied implications for human factors specialists.

  • Proceedings 1989 VLDB Conference

    15th International Conference on Very Large Data Bases
    • 1st Edition
    • VLDB
    • English
    Proceedings of the 15th International Conference (see title), August 1989, Amsterdam, The Netherlands. Contains forty-five papers from worldwide contributors which explore fundamental issues and current developments parallelism, interfaces, statistics, and programming languages.

  • Nonlinear Boundary Value Problems in Science and Engineering

    • 1st Edition
    • Volume 183
    • C. Rogers + 1 more
    • English
    Overall, our object has been to provide an applications-oriente... text that is reasonably self-contained. It has been used as the basis for a graduate-level course both at the University of Waterloo and at the Centro Studie Applicazioni in Tecnologie Avante, Bari, Italy. The text is aimed, in the main, at applied mathematicians with a strong interest in physical applications or at engineers working in theoretical mechanics.

  • Advances in Computers

    • 1st Edition
    • Volume 29
    • English

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 76
    • English

  • Database Programming Languages 2nd

    • 1st Edition
    • Richard Hull + 2 more
    • English

  • Connectionism in Perspective

    • 1st Edition
    • R. Pfeifer + 3 more
    • English
    An evaluation of the merits, potential, and limits of Connectionism, this book also illustrates current research programs and recent trends.Connectionism (also known as Neural Networks) is an exciting new field which has brought together researchers from different areas such as artificial intelligence, computer science, cognitive science, neuroscience, physics, and complex dynamics. These researchers are applying the connectionist paradigm in an interdisciplinary way to the analysis and design of intelligent systems.In this book, researchers from the above-mentioned fields not only report on their most recent research results, but also describe Connectionism from the perspective of their own field, looking at issues such as: - the effects and the utility of Connectionism for their field - the potential and limitations of Connectionism - can it be combined with other approaches?

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 75
    • English

  • Advances in Computers

    • 1st Edition
    • Volume 28
    • English

  • Computability, Complexity, Logic

    • 1st Edition
    • Volume 128
    • E. Börger
    • English
    The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems.The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory.It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions.

  • Knowledge Acquisition from Text and Pictures

    • 1st Edition
    • Volume 58
    • H. Mandl + 1 more
    • English
    Media-didactics have recently become more firmly grounded on cognitive theory, with an increasing concern for the internal processes of knowledge representation and acquisition. With this cognitive aspect in mind, an international group of researchers held a meeting in Tübingen, Federal Republic of Germany, to present and discuss the theoretical approaches to and empirical investigations of knowledge acquisition from text and pictures. This volume contains the revised contributions resulting from that meeting.

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 73
    • English

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 72
    • English

  • An Introduction to Ray Tracing

    • 1st Edition
    • Andrew S. Glassner
    • English
    The creation of ever more realistic 3-D images is central to the development of computer graphics. The ray tracing technique has become one of the most popular and powerful means by which photo-realistic images can now be created. The simplicity, elegance and ease of implementation makes ray tracing an essential part of understanding and exploiting state-of-the-art computer graphics.An Introduction to Ray Tracing develops from fundamental principles to advanced applications, providing "how-to" procedures as well as a detailed understanding of the scientific foundations of ray tracing. It is also richly illustrated with four-color and black-and-white plates. This is a book which will be welcomed by all concerned with modern computer graphics, image processing, and computer-aided design.

  • Data and Knowledge Bases

    Proceedings of the Third International Conference
    • 1st Edition
    • Catriel Beeri + 2 more
    • English

  • Proceedings 1988 VLDB Conference

    14th International Conference on Very Large Data Bases
    • 1st Edition
    • VLDB
    • English

  • Cognition and Action in Skilled Behaviour

    • 1st Edition
    • Volume 55
    • A.M. Colley + 1 more
    • English
    This book contains a number of chapters on the control and execution of skilled movements, as well as more general chapters on theoretical issues in skilled performance. The contributors have summarised their most recent research, and general themes and issues are presented in discussion chapters at the end of each section, thus providing a good general summary of the kind of research and theoretical frameworks developing in this area.The first section is concerned with the theoretical issues of programming and co-ordination. Issues raised in the second section are basic to much of the research reviewed in the volume. This section summarises the various theoretical positions in the recent debates on the role of cognitive processes in motor control and the usefulness of the ``psychomotor'' approach, and contains chapters based on individual papers which present relevant empirical findings. The third section deals with the learning and performance of skilled movements, containing papers with practical implications for everyday skills. The final section contains chapters on cognitive processes in skilled performance.

  • Practical Planning

    Extending the Classical AI Planning Paradigm
    • 1st Edition
    • David E. Wilkins
    • English
    Planning, or reasoning about actions, is a fundamental element of intelligent behavior--and one that artificial intelligence has found very difficult to implement. The most well-understood approach to building planning systems has been under refinement since the late 1960s and has now reached a level of maturity where there are good prospects for building working planners.Practical Planning is an in-depth examination of this classical planning paradigm through an intensive case study of SIPE, a significantly implemented planning system. The author, the developer of SIPE, defines the planning problem in general, explains why reasoning about actions is so complex, and describes all parts of the SIPE system and the algorithms needed to achieve efficiency. Details are discussed in the context of problems and important issues in building a practical planner; discussions of how other systems address these issues are also included.Assuming only a basic background in AI, Practical Planning will be of great interest to professionals interested in incorporating planning capabilities into AI systems.

  • Probabilistic Reasoning in Intelligent Systems

    Networks of Plausible Inference
    • 1st Edition
    • Judea Pearl
    • English
    Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty. The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic.The author distinguishes syntactic and semantic approaches to uncertainty--and offers techniques, based on belief networks, that provide a mechanism for making semantics-based systems operational. Specifically, network-propagation techniques serve as a mechanism for combining the theoretical coherence of probability theory with modern demands of reasoning-systems technology: modular declarative inputs, conceptually meaningful inferences, and parallel distributed computation. Application areas include diagnosis, forecasting, image interpretation, multi-sensor fusion, decision support systems, plan recognition, planning, speech recognition--in short, almost every task requiring that conclusions be drawn from uncertain clues and incomplete information.Probabil... Reasoning in Intelligent Systems will be of special interest to scholars and researchers in AI, decision theory, statistics, logic, philosophy, cognitive psychology, and the management sciences. Professionals in the areas of knowledge-based systems, operations research, engineering, and statistics will find theoretical and computational tools of immediate practical use. The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.

  • Advances in Computers

    • 1st Edition
    • Volume 27
    • English

  • Constructivism in Mathematics, Vol 1

    • 1st Edition
    • Volume 121
    • A.S. Troelstra + 1 more
    • English
    These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 71
    • English

  • Numerical Methods for Transport and Hydraulic Processes

    • 1st Edition
    • Volume 2
    • English

  • Modelling Surface and Sub-Surface Flows

    • 1st Edition
    • Volume 35
    • English

  • Computer-Supported Cooperative Work

    A Book of Readings
    • 1st Edition
    • Irene Greif
    • English
    Computer-supported cooperative work is a field devoted to understanding group work processes and developing tools to enhance collaborative efforts. This book provides a comprehensive view of this dynamic area through a collection of articles from its diverse contributing fields, with introduction and analysis by the editor.Part 1 provides a concise history of the field, defining its early goals and seminal projects. In Part 2, current projects and their underlying technologies, including hypertext and database technologies for information sharing, are presented and evaluated. Finally, Part 3 outlines the theories and empirical studies guiding system design based on understanding human dynamics as well as system dynamics. Each section includes reprints, attractively re-typeset, of important papers from the seminal conferences and publications laying the foundations for the field.

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 70
    • English

  • Planar Graphs

    Theory and Algorithms
    • 1st Edition
    • Volume 32
    • T. Nishizeki + 1 more
    • English
    Collected in this volume are most of the important theorems and algorithms currently known for planar graphs, together with constructive proofs for the theorems. Many of the algorithms are written in Pidgin PASCAL, and are the best-known ones; the complexities are linear or 0(nlogn). The first two chapters provide the foundations of graph theoretic notions and algorithmic techniques. The remaining chapters discuss the topics of planarity testing, embedding, drawing, vertex- or edge-coloring, maximum independence set, subgraph listing, planar separator theorem, Hamiltonian cycles, and single- or multicommodity flows. Suitable for a course on algorithms, graph theory, or planar graphs, the volume will also be useful for computer scientists and graph theorists at the research level. An extensive reference section is included.

  • Cognitive Psychology and Reading in the USSR

    • 1st Edition
    • Volume 49
    • J. Downing
    • English
    The ideas of Soviet specialists on the psychology and teaching of reading are here made available in English.The volume gives an overview of psychology and education in the U.S.S.R., and presents translations of the work of major Soviet authors, such as Elkonin and Luria. The contributions offer many valuable proposals for teaching literacy which are quite unique outside of the Soviet Union. A concluding chapter provides a commentary, tracing the links between these specialist contributions and the general cognitive theories of Vygotsky.The result of ten years of research, this book was completed by Professor Downing shortly before he passed away in June 1987.

  • CMOS Cookbook

    • 2nd Edition
    • DON LANCASTER + 1 more
    • English
    The CMOS Cookbook contains all you need to know to understand and successfully use CMOS (Complementary Metal-Oxide Semiconductor) integrated circuits. Written in a "cookbook" format that requires little math, this practical, user-oriented book covers all the basics for working with digital logic and many of its end appilations.Whether you're a newcomver to logic and electronics or a senior design engineer, you'll find CMOS Cookbook and its examples helpful as a self-learning guide, a reference handbook, a project-idea book, or a text for teaching others digital logic at the high school through university levels.In the pages of this revised edition, you'll discover: *What CMOS is, who makes it, and how the basic transistors, inverters, and logic and transmission gates work*CMOS usage rules, power-suppy examples, and information on breadboards, state testing, tools, and interfacing*Discussi... of the latest CMOS devices and sub-families, including the 74C, 74HC, and 74HCT series that streamline TTL and CMOS interfacing*An in-depth look at multivibrators - including astable, monostable, and bistable - and linear techniques*Clocked-l... designs and the extensive applications of JK and D-type flip-flops*A helpful appendix featuring a TTL-to-CMOS conversion chart

  • Prosody and Speech Recognition

    • 1st Edition
    • Alexander Waibel
    • English

  • DARPA Image Understanding Proceedings 1987

    • 1st Edition
    • DARPA
    • English

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 69
    • English

  • Spatial Reasoning and Multi-Sensor Fusion

    Proceedings of the 1987 Workshop
    • 1st Edition
    • Avi Kak + 1 more
    • English

Related subjects