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.

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 34
    • April 1, 2000
    • 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".

  • WORD PROBLEMS II

    • 1st Edition
    • Volume 95
    • April 1, 2000
    • Lev D. Beklemishev
    • English

  • Elementary Induction on Abstract Structures

    • 1st Edition
    • Volume 77
    • April 1, 2000
    • Lev D. Beklemishev
    • English

  • Quantitative Psychology

    Some Chosen Problems and New Ideas
    • 1st Edition
    • Volume 15
    • April 1, 2000
    • M. Nowakowska
    • English
    Examining selected statistical and modeling approaches in psychology, the book concentrates on the topics of mental test theory and theory of measurement. The main objective is not only to present a critical view of the approaches suggested up until now, but also their reinterpretation, extension and enrichment by new theories and concepts, for example, formal theories of semiotics and knowledge, and a unifying theory of actions.The book also shows a relation between test theory and the foundations of fuzzy set theory. It presents new models of measurement tools and new measurement theories of concepts such as objective and subjective time, risk or utility, and discusses the cognitive foundations of these theories, namely the theory of perception and observability.

  • Sets, Models and Recursion Theory

    • 1st Edition
    • Volume 46
    • April 1, 2000
    • Lev D. Beklemishev
    • English

  • A Theory of Cognitive Aging

    • 1st Edition
    • Volume 28
    • April 1, 2000
    • 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.

  • Provability, Computability and Reflection

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

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 13
    • April 1, 2000
    • Lev D. Beklemishev
    • English

  • Animal Cognition and Behavior

    • 1st Edition
    • Volume 13
    • April 1, 2000
    • 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 16
    • April 1, 2000
    • Lev D. Beklemishev
    • English

Related subjects