Information architecture

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

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

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

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