A readable TCP in the Prolac protocol language. ανά Kohler, Eddie

Register-machine based processes. ανά Bergstra, Jan A.

A graph based architectural (Re)configuration language. ανά Wermelinger, Michel

Deadlock detection in distribution object systems. ανά Kaveh, Nima

Using symbolic execution for verifying safety-critical systems. ανά Coen-Porisini, Alberto

A methodology for specifying and analyzing consistency of object-oriented behavioral models. ανά Engels, Gregor

Combining UML and formal notations for modelling real-time systems. ανά Lavazza, Luigi

Linear programming cases in the water resources engineering classroom formulation and implementation with the linear programming language (LPL)package ανά Liongson, Leonardo Q.

Also available online for University of the Philippines Diliman. Click here

Introduction to R Programming Language. ανά Nady, Mohsen

Statistics for people who (think they) hate statistics using R / ανά Salkind, Neil J., Shaw, Leslie A.