Separation logic for high-level synthesis Por Winterstein, Felix

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Embedded sensor systems Por Agrawal, Dharma P. (Dharma Prakash) 1945-

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

International Joint Conference SOCO'16-CISIS'16-ICEUTE'16 San Sebastián, Spain, October 19th-21st, 2016 proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

On the Logos a naive view on ordinary reasoning and fuzzy logic Por Trillas, E. (Enric)

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Proceedings of the First International Conference on Computational Intelligence and Informatics ICCII 2016

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Embedded and real-time operating systems Por Wang, K. C.

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Trends in software testing

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Harmony search algorithm proceedings of the 3rd International Conference on Harmony Search Algorithm (ICHSA 2017)

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Smart electromechanical systems the central nervous system

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Proceedings of 2nd International Conference on Intelligent Computing and Applications ICICA 2015

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy