Human–computer interaction

Introduction to Operations Research

Linear and Quasilinear Elliptic Equations

Variational Methods in Optimum Control Theory

Nonlinear Two Point Boundary Value Problems

Lie Theory and Special Functions

Nonlinear Ordinary Differential Equations in Transport Processes

Quasilinearization and invariant imbedding, with applications to chemical engineering and adaptive control

Introduction to the Mathematical Theory of Control Processes: Nonlinear Processes v.

This work discusses the theory of control processes.

The Theory of Splines and Their Applications

This work discusses the value of dynamic programming as a method of optimization for the sequential phenomena encountered in economic studies or in advanced technological programs such as those associated with space flights.

Graphs, Dynamic Programming and Finite Games

Nonlinear Autonomous Oscillations presents a self-contained and readable account for mathematicians, physicists, and engineers.

Stochastic Stability and Control

Optimization of Stochastic Systems is an outgrowth of class notes of a graduate level seminar on optimization of stochastic systems.

Topics in Optimization

Linear Systems of Ordinary Differential Equations, with Periodic and Quasi-Periodic Coefficients

Time-Lag Control Systems

Differential Equations

Dynamic Programming and the Calculus of Variations

Numerous detailed proofs highlight this treatment of functional equations.

Nonlinear Partial Differential Equations in Engineering

Mathematical Theory of Connecting Networks and Telephone Traffic

Methods of Matrix Algebra

Stability of Nonlinear Control Systems

Discrete and Continuous Boundary Problems

Mathematical Theories of Traffic Flow

Differential-Difference Equations

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Logic Colloquium '78, Proceedings of the colloquium held in Mons

During the past decade there has been a remarkable growth of interest in problems of systems optimization and of optimal control.

Logic Colloquium '77

WORD PROBLEMS II

Generalized Recursion Theory II

Foundational Studies

Foundational Studies Selected Works

Combinatorial Set Theory

Non-Classical Logics, Model Theory, And Computability

Algebra of Proofs

Logic Colloquium 76, Proceedings of a conference

SET THEORY

Sets and Classes on The Work by Paul Bernays

Large Infinitary Languages

Proof Theory

Generalized Recursion Theory

An Algebraic Approach to Non-Classical Logics

Elementary Induction on Abstract Structures

Set Theory

The Axiom of Choice

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