Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems di Verhulst, Eric, Boute, Raymond T., Faria, José Miguel Sampaio, Saputh, Bernhard H.C, Mezhuyev, Vitaliy

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

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

Geolocation of RF Signals Principles and Simulations di Progri, Ilir

Available for University of the Philippine Diliman via Springerlink. Click here to access

Globalization of Mobile and Wireless Communications Today and in 2020

Available for University of the Philippine Diliman via Springerlink. Click here to access

Hardware / Software Architectures for Low-Power Embedded Multimedia Systems di Shafique, Muhammad, Henkel, Jörg

Available for University of the Philippine Diliman via Springerlink. Click here to access

Harnessing Biological Complexity An Introduction to Computational Physiology

Available for University of the Philippine Diliman via Springerlink. Click here to access

High above the untold story of Astra, Europe's leading satellite company

Available for University of the Philippine Diliman via Springerlink. Click here to access

High-Level Verification Methods and Tools for Verification of System-Level Designs di Kundu, Sudipta, Lerner, Sorin, Gupta, Rajesh K.

Available for University of the Philippine Diliman via Springerlink. Click here to access

Highlights in Practical Applications of Agents and Multiagent Systems 9th International Conference on Practical Applications of Agents and Multiagent Systems

Available for University of the Philippine Diliman via Springerlink. Click here to access

Identification of dynamic systems an introduction with applications di Isermann, Rolf, Münchhof, Marco

Available for University of the Philippine Diliman via Springerlink. Click here to access