-
31
-
32
Embedded system design embedded systems, foundations of cyber-physical systems, and the Internet of Things
प्रकाशित 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
प्रकाशित 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
प्रकाशित 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
प्रकाशित 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
प्रकाशित 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
प्रकाशित 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


