Items where Author is "Robot, Marcellius Fernando"

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

Robot, Marcellius Fernando (2026) Pemodelan Dan Verifikasi Formal Perubahan Temperatur Di Kota Surabaya Menggunakan Rantai Markov Waktu Diskrit Dan Probabilistic Computation Tree Logic. Other thesis, Institut Teknologi Sepuluh Nopember.

This list was generated on Thu Apr 2 01:59:02 2026 UTC.