-
3701
-
3702
Automated validation & verification of UML/OCL models using satisfiability solvers
Publicado em 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 -
3703
Carl von Clausewitz, the fog-of-war, and the AI revolution the real world is not a game of Go
Publicado em 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 -
3704
FluSHELL a tool for thermal modelling and simulation of windings for large shell-type power transformers
Publicado em 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 -
3705
Reliability and statistics in transportation and communication selected papers from the 17th International Conference on Reliability and Statistics in Transportation and Communicat...
Publicado em 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 -
3706
Experimental and kinetic modeling study of cyclohexane and its mono-alkylated derivatives combustion
Publicado em 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 -
3707
Design, analysis and application of magnetless doubly salient machines
Publicado em 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 -
3708
Finite element applications a practical guide to the FEM process
Publicado em 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 -
3709
Introduction to distributed computer systems principles and features
Publicado em 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 -
3710
Human language technologies for under-resourced African languages design, challenges, and prospects
Publicado em 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


