Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson, (ed.)

Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Chris Hankin (ed.)

Programming languages and systems : 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / S. Doaitse Swierstra (ed.)

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Gert Smolka (ed.)

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / David Sands (ed.)

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Daniel Le Métayer (ed.)

Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 / Hrsg. im Auftrag der GI von W. Händler und P. P. Spies

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos

The computational beauty of nature : computer explorations of fractals, chaos, complex systems, and adaptation / Gary William Flake

Pipeline processor farms : structured design for embedded parallel systems / Martin Fleury, Andrew Downton

Formal development of programs and proofs / edited by Edsger W. Dijkstra

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)

Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson

Genetic programming : proceedings of the First Annual Conference, 1996 / edited by John R. Koza ... [et al.]

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.)

Theory of program structures : schemes, semantics, verification / Sheila A. Greibach

Mathematics for the analysis of algorithms / Daniel H. Greene, Donald E. Knuth

First-order dynamic logic / David Harel

Verifying concurrent processes using temporal logic / Brent T. Hailpern