Automata, languages and programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Guide to assembly language a concise introduction Yazar: Streib, James T.

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Guide to HTML, JavaScript and PHP for scientists and engineers Yazar: Brooks, David R. 1941-

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings Yazar: Yahav, Eran

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

PHP objects, patterns, and practice Yazar: Zandstra, Matt

Introduction to concurrency in programming languages Yazar: Sottile, Matthew J.

Transitions and trees an introduction to structural operational semantics Yazar: Huttel, Hans

Table of contents only

A science of operations machines, logic and the invention of programming Yazar: Priestley, Mark (Peter Mark)

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Concepts of programming languages Yazar: Sebesta, Robert W.