Williams, G.B.
Troubleshooting on microprocessor based systems / G.B. Williams
Pergamon Press, 1984
 Buku Teks
Anderson, Robert B.
Proving programs correct
John Wiley & Sons, 1979
 Buku Teks
Ovchinnikova, Ekaterina
Integration of world knowledge for natural language understanding
Atlantis Press, 2012
 eBooks
Chao Hu
Engineering Design under Uncertainty and Health Prognostic
Springer Cham, 2019
 eBooks
Contributions to Partial Differential Equations and Applications
Springer Cham, 2019
 eBooks