Sinusoidal Analysis and Modeling of Weakly Nonlinear Circuits

Poincare Duality Algebras, Macaulay's Dual Systems, and Steenrod Operations

Statistical Inference Based on Divergence Measures

Finite Element Methods: Superconvergence, Post-Processing, and a Posteriori Estimates, Vol. 196

Problems and Methods of Optimal Control

Recursive Algorithms

Theory of Automata

Asymtotic Methods in Queuing Theory

Introduction to the Theory of Computation

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Convergence Theory of Feasible Direction Methods