Human–computer interaction

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Sentences Undecidable in Formalized Arithmetic

Energy at the surface of the earth : an introduction to the energetics of ecosystems

An Introduction to Atmospheric Radiation

Weather Modification by Cloud Seeding

Ocean Circulation Physics

Climate and Life

Theory of Ionospheric Waves

Atmospheric Circulation Systems: their structure and physical interpretation

Radiation in the Atmosphere

Physics of the marine atmosphere

The world of smart shoes, appliances, and phones is already here, but the practice of user experience (UX) design for ubiquitous computing is still relatively new.

Usability testing and user experience research typically take place in a controlled lab with small groups.

Optimal control theory of distributed parameter systems has been a very active field in recent years; however, very few books have been devoted to the studiy of computational algorithms for solving optimal control problems.

Computational Methods in Engineering Boundary Value Problems

Optimal Economic Operation of Electric Power Systems

Stochastic Models: Estimation and Control: v.

Stochastic Models: Estimation and Control: v.

Multiobjective Programming and Planning

Invariant Variational Principles

Integer and Mixed Programming: Theory and Applications

Dynamic System Identification: Experiment Design and Data Analysis

Linear Dynamical Systems

This book develops a unified approach to qualitative analysis of large scale systems described by many diversified types of equations.

Hamilton-Jacobi Equation: A Global Approach

The Art and Theory of Dynamic Programming

Probability Methods for Approximations in Stochastic Control and for Elliptic Equations

Dynamic Programming and Stochastic Control

Mathematical Models for the Study of the Reliability of Systems

Quantum Detection and Estimation Theory

Kalman's elegant solution of the discrete linear estimation problem has had a major impact in academic engineering circles and in the aerospace industry.

Dynamic Stochastic Models from Empirical Data

Variational Methods in Statistics

Realizability Theory for Continuous Linear Systems

Random Integral Equations

Causality and Dispersion Relations

Regression and the Moore-Penrose Pseudoinverse

Theory of Partial Differential Equations

Nonserial Dynamic Programming

Flows in Transportation Networks

Dynamic Programming and Partial Differential Equations

The Method of Weighted Residuals and Variational Principles, with Application in Fluid Mechanics, Heat and Mass Transfer

Riccati Differential Equations

Differential Equations in Abstract Spaces

Markov Processes and Learning Models

Computer-Oriented Approaches to Pattern Recognition