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.

  • Logic, Methodology and Philosophy of Science III

    • 1st Edition
    • Volume 52
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 34
    • Lev D. Beklemishev
    • English
    The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 32
    • Lev D. Beklemishev
    • English

  • Constructible Sets with Applications

    • 1st Edition
    • Volume 57
    • Lev D. Beklemishev
    • English

  • An Algebraic Approach to Non-Classical Logics

    • 1st Edition
    • Volume 78
    • Lev D. Beklemishev
    • English

  • Combinatorial Set Theory

    • 1st Edition
    • Volume 91
    • Lev D. Beklemishev
    • English

  • Axiomatic Set Theory

    • 1st Edition
    • Volume 21
    • Lev D. Beklemishev
    • English

  • Sets and Classes on The Work by Paul Bernays

    • 1st Edition
    • Volume 84
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 5
    • Lev D. Beklemishev
    • English

  • Elements of Mathematical Logic

    • 1st Edition
    • Volume 48
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 16
    • Lev D. Beklemishev
    • English

  • Introduction to the Theory of Finite Automata

    • 1st Edition
    • Volume 38
    • Lev D. Beklemishev
    • English

  • Formal Systems and Recursive Functions

    • 1st Edition
    • Volume 40
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 20
    • Lev D. Beklemishev
    • English
    Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

  • Computer Programming and Formal Systems

    • 1st Edition
    • Volume 35
    • Lev D. Beklemishev
    • English

  • Generalized Recursion Theory II

    • 1st Edition
    • Volume 94
    • Lev D. Beklemishev
    • English

  • Constructive Order Types

    • 1st Edition
    • Volume 56
    • Lev D. Beklemishev
    • English

  • A Theory of Cognitive Aging

    • 1st Edition
    • Volume 28
    • T. Salthouse
    • English
    Over a half-century of research has documented the fact that people of different ages perform at different levels on a variety of tests of cognitive functioning, and yet there are still no comprehensive theories to account for these phenomena. A Theory of Cognitive Aging is intended to begin intellectual discussion in this area by identifying major issues of controversy, and proposing a particular theoretical interpretation based on the notion that the rate of processing information slows down with increased age. Although still quite preliminary, the theoretical perspective is demonstrated to provide a plausible account for age-related differences in functioning on measures of memory, spatial ability and reasoning. The book has four aims: - To advocate a more explicitly theoretical approach to research in the area of cognitive aging. - To outline three important dimensions along which it is argued that any theory of cognitive aging phenomena must take a position. - To evaluate empirical evidence relevant to specific positions along those dimensions. - To summarize the major concepts of the current theory, and to describe its application to selected findings in the research literature.

  • A Deductive Theory of Space and Time

    • 1st Edition
    • Volume 45
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 15
    • Lev D. Beklemishev
    • English

  • The Metamathematics of Algebraic Systems

    • 1st Edition
    • Volume 66
    • Lev D. Beklemishev
    • English

  • Algebra of Proofs

    • 1st Edition
    • Volume 88
    • Lev D. Beklemishev
    • English

  • WORD PROBLEMS II

    • 1st Edition
    • Volume 95
    • Lev D. Beklemishev
    • English

  • Contributions to Mathematical Logic

    • 1st Edition
    • Volume 50
    • Lev D. Beklemishev
    • English

  • Animal Cognition and Behavior

    • 1st Edition
    • Volume 13
    • R.L. Mellgren
    • English
    Contributed chapters by psychologists and behavioral biologists provide a broad coverage of animal behavior, and governing brain processes. Topics covered include: foraging behavior and strategies, economics and psychology, memory of events and space, time perception, expectancies, food preferences and diet selection, behavior variability and the concept of mind.The volume is designed to satisfy an intderdisciplinary audience, embracing the behavioristic tradition, biological and physiological approaches, and evolutionary theory as philosophical underpinnings to the chapters. Also achieved in this work is a good balance between empirical results and theory.

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 18
    • Lev D. Beklemishev
    • English

  • DNA Sequencing

    • 1st Edition
    • Volume 10
    • J. Hindley
    • English
    This volume provides a comprehensive description of the principles and methods used in DNA sequencing. Following a detailed introduction the chapters are: DNA sequencing; Chain terminator sequencing; Primed synthesis methods applied to DNA fragments cloned into phage M13; DNA sequencing by the Maxam-Gilbert chemical procedure; Computer methods for DNA sequencers; Appendices including contractions and special terms, cloning vectors, commercially available restriction endonucleases, and autoradiography.

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 33
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 4
    • Lev D. Beklemishev
    • English

  • Contributions to Non-Standard Analysis

    • 1st Edition
    • Volume 69
    • Lev D. Beklemishev
    • English

  • Languages with Expressions of Infinite Length

    • 1st Edition
    • Volume 36
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 11
    • Lev D. Beklemishev
    • English

  • Logic in Algebraic Form

    • 1st Edition
    • Volume 72
    • Lev D. Beklemishev
    • English

  • The Problem of Inductive Logic

    • 1st Edition
    • Volume 51
    • Lev D. Beklemishev
    • English

  • SET THEORY

    • 1st Edition
    • Volume 86
    • Lev D. Beklemishev
    • English

  • Foundational Studies Selected Works

    • 1st Edition
    • Volume 93A
    • Lev D. Beklemishev
    • English

  • Elementary Induction on Abstract Structures

    • 1st Edition
    • Volume 77
    • Lev D. Beklemishev
    • English

  • Proceedings of the Second Scandinavian Logic Symposium

    • 1st Edition
    • Volume 63
    • Lev D. Beklemishev
    • English

  • Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

    • 1st Edition
    • Volume 74
    • Lev D. Beklemishev
    • English

  • Aspects of Inductive Logic

    • 1st Edition
    • Volume 43
    • Lev D. Beklemishev
    • English

  • The Foundations of Intuitionistic Mathematics

    • 1st Edition
    • Volume 39
    • Lev D. Beklemishev
    • English

  • Troubleshooting Windows 2000 TCP/IP

    • 1st Edition
    • Syngress
    • English
    TCP/IP is a set of proposals developed to allow cooperating computers to share resources across a network. Some of the largest networks today are built on the TPC/IP protocol suite. Understanding how TCP/IP is "supposed" to work is not enough for today's network managers. In this book, readers will learn to prevent, detect, troubleshoot and correct TCP/IP network problems. By using products such as distributed sniffers, field metering tools and protocol analyses, network managers can learn a lot about what is going on in (or wrong in) an internetwork and be able to troubleshoot a live TPC/IP network. This book focuses specifically on identifying problem areas, including identifying and correcting protocol errors, DNS route problems, application faults and slow response times.Syngress have sold over 700,000 Microsoft and Cisco certification guides in the last two years. Most of the administrators buying these will be interested in this book.

  • Computer Busses

    • 1st Edition
    • William Buchanan
    • English
    As more and more equipment is interface or'bus' driven, either by the use of controllers or directly from PCs, the question of which bus to use is becoming increasingly important both in industry and in the office. 'Computer Busses' has been designed to help choose the best type of bus for the particular application. There are several books which cover individual busses, but none which provide a complete guide to computer busses. The author provides a basic theory of busses and draws examples and applications from real bus case studies. Busses are analysed using from a top-down approach, helping the undergraduate electrical or computer engineer to chose the right type of bus for their particular application. This book is essential reading for students of software engineering and electronic design, as well as for those working in disciplines such as production engineering or process control. It will also be a handy reference book for professional engineers, systems designers, consultants and those working in technical support.

  • Introduction to Data Compression

    • 2nd Edition
    • Khalid Sayood
    • English
    The second edition of Introduction to Data Compression builds on the features that made the first the logical choice-for practitioners who need a comprehensive guide to compression for all types of multimedia and instructors who want to equip their students with solid foundations in these increasingly important and diverse techniques.This book provides an extensive introduction to the theory underlying today's compression techniques, with detailed, instruction for their application. All of the coverage has been updated to reflect the state of the art in data compression, including both new algorithms and older methods for which new uses are being found.

  • Information Appliances and Beyond

    Interaction Design for Consumer Products
    • 1st Edition
    • Eric Bergman
    • English
    Information appliances and other interactive products "beyond the desktop" present user interface design challenges that are only beginning to be understood. In this one-of-a-kind book, interaction designers examine the issues they confronted in their projects: Microsoft Windows CE, a vehicle navigation system, interactive children's toys, and more. You'll enjoy reading their engaging and sometimes surprising stories, but more importantly you'll gain insights that will benefit your own design and development work.

  • Windows 2000 Configuration Wizards

    • 1st Edition
    • Syngress
    • English
    Developers are used to working with Wizards, component-like products that allow them to create certain elements - like dialog buttons - quickly and easily while they are coding applications. With the launch of Windows 2000, Microsoft has announced a new set of Wizards that will help administrators and users configure and set up Windows 2000 Professional (the Windows NT 4 Workstation successor) and Windows 2000 Server (the Windows NT 4 Server successor). Windows 2000 Setup and Configuration Wizards covers all the available Wizards, with an emphasis on those new to Windows 2000. Each Wizard is broken down by dialog box, with explanations of all options and required elements so administrators will know what to be prepared with.In addition, coverage of new services that will speed configuration and set up (like the Windows Installer) will be covered.

  • GUI Bloopers

    Don'ts and Do's for Software Developers and Web Designers
    • 1st Edition
    • Jeff Johnson
    • English
    GUI Bloopers looks at user interface design bloopers from commercial software, Web sites, and information appliances, explaining how intelligent, well-intentioned professionals made these dreadful mistakes--and how you can avoid them. While equipping you with all the theory needed to learn from these examples, GUI expert Jeff Johnson also presents the reality of interface design in an entertaining, anecdotal, and instructive way.This is an excellent, well-illustrated resource for anyone whose work touches on usability issues, including software engineers, Web site designers, managers of development processes, QA professionals, and usability professionals.Hear Jeff Johnson's interview podcast on software and website usability at the University of Canterbury (25 min.)

  • Psychological Experiments on the Internet

    • 1st Edition
    • Michael H. Birnbaum
    • English
    Until recently, most psychological research was conducted using subject samples in close proximity to the investigators--namel... university undergraduates. In recent years, however, it has become possible to test people from all over the world by placing experiments on the internet. The number of people using the internet for this purpose is likely to become the main venue for subject pools in coming years. As such, learning about experiments on the internet will be of vital interest to all research psychologists. Psychological Experiments on the Internet is divided into three sections. Section I discusses the history of web experimentation, as well as the advantages, disadvantages, and validity of web-based psychological research. Section II discusses examples of web-based experiments on individual differences and cross-cultural studies. Section III provides readers with the necessary information and techniques for utilizing the internet in their own research designs.

  • A Computational Framework for Segmentation and Grouping

    • 1st Edition
    • G. Medioni + 2 more
    • English
    This book represents a summary of the research we have been conducting since the early 1990s, and describes a conceptual framework which addresses some current shortcomings, and proposes a unified approach for a broad class of problems. While the framework is defined, our research continues, and some of the elements presented here will no doubt evolve in the coming years.It is organized in eight chapters. In the Introduction chapter, we present the definition of the problems, and give an overview of the proposed approach and its implementation. In particular, we illustrate the limitations of the 2.5D sketch, and motivate the use of a representation in terms of layers instead.In chapter 2, we review some of the relevant research in the literature. The discussion focuses on general computational approaches for early vision, and individual methods are only cited as references. Chapter 3 is the fundamental chapter, as it presents the elements of our salient feature inference engine, and their interaction. It introduced tensors as a way to represent information, tensor fields as a way to encode both constraints and results, and tensor voting as the communication scheme. Chapter 4 describes the feature extraction steps, given the computations performed by the engine described earlier. In chapter 5, we apply the generic framework to the inference of regions, curves, and junctions in 2-D. The input may take the form of 2-D points, with or without orientation. We illustrate the approach on a number of examples, both basic and advanced. In chapter 6, we apply the framework to the inference of surfaces, curves and junctions in 3-D. Here, the input consists of a set of 3-D points, with or without as associated normal or tangent direction. We show a number of illustrative examples, and also point to some applications of the approach. In chapter 7, we use our framework to tackle 3 early vision problems, shape from shading, stereo matching, and optical flow computation. In chapter 8, we conclude this book with a few remarks, and discuss future research directions.We include 3 appendices, one on Tensor Calculus, one dealing with proofs and details of the Feature Extraction process, and one dealing with the companion software packages.

  • The Joy of Mathematica

    Instant Mathematica for Calculus, Differential Equations, and Linear Algebra
    • 2nd Edition
    • Alan Shuchat + 1 more
    • English
    Joy of Mathematica, Second Edition, is a book that makes Mathematica easier to use and learn. The software includes the most common Mathematica operations needed in the first two years of college and university courses. The book is a manual for the software and an introduction to using Mathematica for mathematics and its applications to other fields. It contains material for students in calculus, differential equations, and linear algebra courses. Students and professionals will benefit from this user-friendly, practical guide to Mathematica.

Related subjects