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

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

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

Semantic techniques in quantum computation

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

Programming language pragmatics por Scott, Michael Lee 1959-

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

Principles of programming languages por Dowek, Gilles

Masterminds of programming

Principles of programming languages por Dowek, Gilles