Automated validation & verification of UML/OCL models using satisfiability solvers por 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

FluSHELL a tool for thermal modelling and simulation of windings for large shell-type power transformers por 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

Finite element applications a practical guide to the FEM process por 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 por 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

Motivation of workers on microtask crowdsourcing platforms por Naderi, Babak

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

Distributed transmission-distribution coordinated energy management based on generalized master-slave splitting theory por Li, Zhengshuo

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

Simulating nonlinear circuits with Python power electronics an open-source simulator, based on Python por Iyer, Shivkumar V.

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

Network coding and subspace designs

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

SDN and NFV security security analysis of software-defined networking and network function virtualization

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