FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

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

Nanoscale memory repair por Horiguchi, Masashi

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

Network reliability and resilience por Gertsbakh, Ilya

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

Safety and risk modeling and its applications

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

Economics of converged, internet-based networks 7th international workshop on internet charging and QoS technologies, ICQT 2011, Paris, France, October 24, 2011. proceedings

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

Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

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

Tests and proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

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

Applications of finite element methods for reliability studies on ULSI interconnections por Tan, Cher Ming

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

Applied nonparametric statistics in reliability

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

Transmission grid security a PSA approach

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