-
21
Selected topics in probabilistic safety assessment methodology and practice in nuclear power plants
出版 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
出版 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
出版 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
-
27
-
28
-
29
Harnessing performance variability in embedded and high-performance many/multi-core platforms a cross-layer approach
出版 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
出版 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


