Human–computer interaction

Thoughts on Interaction Design explores the theory behind the field of Interaction Design in a new way.

Global UX: Design and Research in a Connected World discusses how user experience (UX) practice is changing and how practitioners and teams around the world are creating great user experiences for a global context.

Usability Testing Essentials provides readers with the tools and techniques needed to begin usability testing or to advance their knowledge in this area.

User Experience Re-Mastered: Your Guide to Getting the Right Design provides an understanding of key design and development processes aimed at enhancing the user experience of websites and web applications.

The Vector-Valued Maximin

Differential Equations with Applications to Mathematical Physics

Analysis and Control of Nonlinear Infinite Dimensional Systems

Scientific Computing with Automatic Result Verification

Stability and Time-Optimal Control of Hereditary Systems

Differential Equations and Mathematical Physics: Proceedings of the International Conference held at the University of Alabama at Birmingham, March 15-21, 1990

Nonlinear Equations in the Applied Sciences

Decentralized Control of Complex Systems

Overall, our object has been to provide an applications-oriented text that is reasonably self-contained.

Constructible Sets with Applications

Constructive Order Types

The Collected Papers of Gerhard Gentzen

Intuitionistic Logic Model Theory and Forcing

SET THEORY

Logic, Methodology and Philosophy of Science III

The Problem of Inductive Logic

Contributions to Mathematical Logic

Problems in the Philosophy of Science

Elements of Mathematical Logic

Problems in the Philosophy of Mathematics

Sets, Models and Recursion Theory

A Deductive Theory of Space and Time

Aspects of Inductive Logic

Studies in Logic and the Foundations of Mathematics

Formal Systems and Recursive Functions

The Foundations of Intuitionistic Mathematics

Introduction to the Theory of Finite Automata

A Transfinite Type Theory with Type Variables

Languages with Expressions of Infinite Length

Computer Programming and Formal Systems

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.

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Lincos

Provability, Computability and Reflection

Computer Programming and Formal Systems

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Axiomatic Set Theory

Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

Provability, Computability and Reflection