Items where Author is "Salim, Abdullah Harits"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Salim, Abdullah Harits (2026) Pemodelan Dan Verifikasi Formal Perubahan Suhu Menggunakan Interval Markov Chain Dan Probabilistic Computation Tree Logic. Other thesis, Insitut Teknologi Sepuluh Nopember.

This list was generated on Thu Apr 2 08:06:00 2026 UTC.