Introduction to computer fundamentals & information technology od 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 od Revano, Teodoro F. Jr

Semantic techniques in quantum computation

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

Programming language pragmatics od Scott, Michael Lee 1959-

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

Principles of programming languages od Dowek, Gilles

Masterminds of programming

Principles of programming languages od Dowek, Gilles