Automated validation & verification of UML/OCL models using satisfiability solvers di Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

Available 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

Carl von Clausewitz, the fog-of-war, and the AI revolution the real world is not a game of Go di Wallace, Rodrick

Available 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

FluSHELL a tool for thermal modelling and simulation of windings for large shell-type power transformers di Campelo, Hugo

Available 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

Reliability and statistics in transportation and communication selected papers from the 17th International Conference on Reliability and Statistics in Transportation and Communicat... di Kabashkin, Igor 1954-

Available 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

Experimental and kinetic modeling study of cyclohexane and its mono-alkylated derivatives combustion di Wang, Zhandong

Available 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

Design, analysis and application of magnetless doubly salient machines di Lee, Christopher H. T.

Available 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

Finite element applications a practical guide to the FEM process di Okereke, Michael, Keates, Simeon

Available 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

Introduction to distributed computer systems principles and features di Czaja, Ludwik

Available 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

Human language technologies for under-resourced African languages design, challenges, and prospects

Available 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

Engineering applications for new materials and technologies

Available 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