-
4571
-
4572
Formal verification of Simulink/Stateflow diagrams a deductive approach
Published 2017Available 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
Electronic Resource -
4573
-
4574
-
4575
Designing, developing, and facilitating smart cities urban design to IoT solutions
Published 2017Available 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
Electronic Resource -
4576
Soft robotics trends, applications and challenges : proceedings of the Soft Robotics Week, April 25-30, 2016, Livorno, Italy
Published 2017Available 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
Electronic Resource -
4577
Analysis and synthesis of positive systems under ℓ1 and L1 performance
Published 2017Available 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
Electronic Resource -
4578
-
4579
Twin support vector machines models, extensions and applications
Published 2017Available 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
Electronic Resource -
4580


