-
21
Selected topics in probabilistic safety assessment methodology and practice in nuclear power plants
Published 2020Available 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
Electronic Resource -
22
-
23
Genetic design automation a practical approach for the analysis, verification and synthesis of genetic logic circuits
Published 2020Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
24
-
25
A hierarchy of Turing degrees a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
Published 2020Also available remotely for University of the Philippines System via IEEE Xplore. Click here to access thru EZproxy
Available for University of the Philippines System via IEEE Xplore. Click here to access
Electronic Resource -
26
Beyond-CMOS technologies for next generation computer design
Published 2019Available 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
Electronic Resource -
27
-
28
Test generation of crosstalk delay faults in VLSI circuits
Published 2019Available 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
Electronic Resource -
29
Harnessing performance variability in embedded and high-performance many/multi-core platforms a cross-layer approach
Published 2019Available 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
Electronic Resource -
30
Advanced HDL synthesis and SOC prototyping RTL design using verilog
Published 2019Available 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
Electronic Resource


