Annisa Puspitasari
Operasi-operasi pada reduced ordered binary decision diagram
Universitas Indonesia, 2010
 UI - Skripsi (Open)
Operasi – Operasi pada Reduced Ordered Binary Decision Diagrams (ROBDD)
Universitas Indonesia, 2010
 UI - Skripsi (Membership)
Handbook of space security: policies, applications and programs
Springer Cham, 2019
 eBooks
Halter, Albert N., 1927-
Decision under uncertaninty : with research applications
South-Western Publishing, 1971
 Buku Teks
Sattinger, David H.
Branching in the presence of symmetry
Society for Industrial and Applied Mathematics, 1983
 eBooks