Semantics with Applications: An Appetizer
Hanne Riis Nielson
Download - Immediately Available
Format: eBook (PDF)
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
Axel Simon
Download - Immediately Available
Format: eBook (PDF)
Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Matjaz Colnaric
Download - Immediately Available
Format: eBook (PDF)
A Concise Introduction to Languages and Machines
Alan P. Parkes
Download - Immediately Available
Format: eBook (PDF)
An Introduction to PHP for Scientists and Engineers : Beyond JavaScript
David R. Brooks
Download - Immediately Available
Format: eBook (PDF)
Principles of Programming Languages
Gilles Dowek
Download - Immediately Available
Format: eBook (PDF)
Formal Languages and Compilation
Stefano Crespi Reghizzi
Download - Immediately Available
Format: eBook (PDF)
Models of Computation : An Introduction to Computability Theory
Maribel Fernandez
Download - Immediately Available
Format: eBook (PDF)
Formal Methods: State of the Art and New Directions
Paul Boca
Download - Immediately Available
Format: eBook (PDF)
PHP and MySQL Manual : Simple, yet Powerful Web Programming
Simon Stobart
Download - Immediately Available
Format: eBook (PDF)
Data-Parallel Programming on MIMD Computers
Philip J. Hatcher
Download - Immediately Available
Format: eBook (PDF)
Fundamentals of X Programming : Graphical User Interfaces and Beyond
Theo Pavlidis
Download - Immediately Available
Format: eBook (PDF)
Performance Modeling of Operating Systems Using Object-Oriented Simulations : A Practical Introduction
Jose M. Garrido
Download - Immediately Available
Format: eBook (PDF)
System Specification & Design Languages : Best of FDL'02
Eugenio Villar
Download - Immediately Available
Format: eBook (PDF)
SystemC : Methodologies and Applications
Wolfgang Muller
Download - Immediately Available
Format: eBook (PDF)
Introduction to occam 2 on the Transputer
Graham R. Brookes
Download - Immediately Available
Format: eBook (PDF)
Modern Compiler Implementation in Java
Andrew W. Appel
Download - Immediately Available
Format: eBook (PDF)
Quantifiers in Action : Generalized Quantification in Query, Logical and Natural Languages
Antonio Badia
Download - Immediately Available
Format: eBook (PDF)
Algorithm Design for Networked Information Technology Systems
Sumit Ghosh
Download - Immediately Available
Format: eBook (PDF)