-
31
-
32
Embedded system design embedded systems, foundations of cyber-physical systems, and the Internet of Things
Argitaratua 2018Available 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 -
33
Formal system verification state-of-the-art and future trends
Argitaratua 2018Available 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 -
34
Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
Argitaratua 2018Available 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 -
35
Advances in culturally-aware intelligent systems and in cross-cultural psychological studies
Argitaratua 2018Available 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 -
36
-
37
Automated validation & verification of UML/OCL models using satisfiability solvers
Argitaratua 2018Available 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 -
38
Safety-critical electrical drives topologies, reliability, performance
Argitaratua 2018Available 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 -
39
-
40