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 по Revano, Teodoro F. Jr

A science of operations machines, logic and the invention of programming по 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 по Eijck, J. van (Jan)

Programming language pragmatics по Scott, Michael Lee 1959-

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

Masterminds of programming

Principles of programming languages по Dowek, Gilles

Principles of programming languages по Dowek, Gilles