Lecture Notes in Computer Science Ser.: Twenty Years of Theoretical and...

Introduction Functional Programming (Prentice-Hall Series in Computer Science),

OCR AS/A-level Computer Science Workbook 2: Algorithms and Programming P

Canonical Equational Proofs. Progress in Theoretical Computer Science. Bachmair,

Programming methodology. Lecture notes in computer science ; 23 Hackl, Clemens E

The Relation of Medical Societies to Progress in Science (Classic Reprint)

International Symposium on Theoretical Programming. Lecture Notes in Computer Sc

Physics by Computer - Programming Physical Problems Using Mathematica and C