-
31
-
32
Guide to assembly language a concise introduction
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
33
Guide to HTML, JavaScript and PHP for scientists and engineers
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
34
Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
35
Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice o...
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
36
-
37
-
38
Transitions and trees an introduction to structural operational semantics
Foilsithe / Cruthaithe 2010Table of contents only
LEABHAR -
39
A science of operations machines, logic and the invention of programming
Foilsithe / Cruthaithe 2010Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
40