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 Tekijä Revano, Teodoro F. Jr

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

Semantic techniques in quantum computation

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

Programming language pragmatics Tekijä Scott, Michael Lee 1959-

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

Masterminds of programming

Principles of programming languages Tekijä Dowek, Gilles

Principles of programming languages Tekijä Dowek, Gilles