Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Favorite
Pengembangan sistem informasi superman (Supplier performance management) di PT PLN (persero) PUSDIKLAT
Author: Siti Hilda Sofia; | Publisher: Depok : Universitas Indonesia, 2015
[Remove]
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Publisher:
[Remove]
Classroom computers and cognitive science
Author: | Publisher: Toronto : Academic Press, 1983
[Remove]
Program verfication using ada
Author: McGettrick, Andrew D; | Publisher: London: Cambridger Univeristy Press,1976
[Remove]
Modifikasi PDR Net untuk restorasi citra berkabut luar ruang
Author: Cahyo Adhi Hartanto; | Publisher: Depok : Fakultas Ilmu Komputer Universitas Indonesia, 2021
[Remove]