Computation

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 (Lecture Notes in Computer Science)

M. Karpinski

Fundamentals of Computation Theory: Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985 (Lecture Notes in Computer Science)

Lothar Budach

Comparison of the quadratic configuration interaction and coupled cluster approaches to electron correlation including the effect of triple excitations

Timothy J. Lee, Alistair P. Rendell, and Peter R. Taylor.

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Leonid Libkin

Symbolic and Algebraic Computation: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 (Lecture Notes in Computer Science)

E.W. Ng

Computational issues in damping identification for large scale problems

Deborah F. Pilkey, Kevin P. Roe, Daniel J. Inman.

A computational examination of directional stability for smooth and chined forebodies at High-Ü

Ramakrishnan Ravi and William H. Mason.

Trellises and trellis-based decoding algorithms for linear block codes

Shu Lin and Marc Fossorier.

Development of upwind schemes for the Euler equations

Sukumar R. Chakravarty.

Computation and Control IV: Proceedings of the Fourth Bozeman Conference, Bozeman, Montana, August 3-9, 1994 (Progress in Systems and Control Theory)

J. Lund