-
2111
Formal verification of Simulink/Stateflow diagrams a deductive approach
Foilsithe / Cruthaithe 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 -
2112
Implementing polytope projects for smart systems
Foilsithe / Cruthaithe 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 -
2113
Soft robotics trends, applications and challenges : proceedings of the Soft Robotics Week, April 25-30, 2016, Livorno, Italy
Foilsithe / Cruthaithe 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 -
2114
-
2115
-
2116
Intelligent data analysis and applications proceedings of the Third Euro-China Conference on Intelligent Data Analysis and Applications, ECC 2016
Foilsithe / Cruthaithe 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 -
2117
Dialogues with social robots enablements, analyses, and evaluation
Foilsithe / Cruthaithe 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 -
2118
-
2119
Internet of Things -- from hype to reality the road to digitization
Foilsithe / Cruthaithe 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 -
2120
Model-implementation fidelity in cyber physical system design
Foilsithe / Cruthaithe 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


