Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.)

Semantics, applications, and implementation of program generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.)

A relational theory of computing / John G. Sanderson

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)

Algorithms / Robert Sedgewick and Kevin Wayne

Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings / G.A. van Zee, J.G.G. van de Vorst (eds.)

Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.]

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / edited by S.D. Brookes, A.W. Roscoe, and G. Winskel

Introduction to computational science : modeling and simulation for the sciences / Angela B. Shiflet and George W. Shiflet

Structured computer organization / Andrew S. Tanenbaum

P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms / André Thayse

Press on : principles of interaction programming / Harold Thimbleby

WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986 / edited by J.D. Becker and I. Eisele

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 / edited by Neil D. Jones

Alternating sequential/parallel processing / Y. Wallach

Programming, the impossible challenge / Bob Walraet

Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot ... [et al.], (eds.)

Attribute grammar inversion and source-to-source translation / Daniel M. Yellin

Introduction to scientific programming : computational problem solving with Mathematica and C / Joseph L. Zachary