Formal verification of Simulink/Stateflow diagrams a deductive approach por Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Implementing polytope projects for smart systems por Iordache, Octavian

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Soft robotics trends, applications and challenges : proceedings of the Soft Robotics Week, April 25-30, 2016, Livorno, Italy

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Designing with Xilinx FPGAs using Vivado

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Whole body interaction with public displays por Walter, Robert

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Intelligent data analysis and applications proceedings of the Third Euro-China Conference on Intelligent Data Analysis and Applications, ECC 2016

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Dialogues with social robots enablements, analyses, and evaluation

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Computational neurology and psychiatry

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Internet of Things -- from hype to reality the road to digitization por Rayes, Ammar, Salam, Samer

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Model-implementation fidelity in cyber physical system design

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy