A science of operations machines, logic and the invention of programming Tekijä Priestley, Mark (Peter Mark)

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Computational semantics with functional programming Tekijä Eijck, J. van (Jan)

Computer system organization with assembly language Tekijä Revano, Teodoro F. Jr

Introduction to computer fundamentals & information technology Tekijä Pepito, Copernicus P.

Programming language pragmatics Tekijä Scott, Michael Lee 1959-

Masterminds of programming

The "Oslo" modeling language draft specification - October 2008 Tekijä Langworthy, David 1964-, Lovering, Brad 1966-, Box, Don 1962-

Principles of programming languages Tekijä Dowek, Gilles

Principles of programming languages Tekijä Dowek, Gilles