Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Favorite
Program verfication using ada
Author: McGettrick, Andrew D; | Publisher: London: Cambridger Univeristy Press,1976
[Remove]
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Publisher:
[Remove]
Modifikasi PDR Net untuk restorasi citra berkabut luar ruang
Author: Cahyo Adhi Hartanto; | Publisher: Depok : Fakultas Ilmu Komputer Universitas Indonesia, 2021
[Remove]
Operating system concepts 6th ed.
Author: Silberschatz, Abraham; | Publisher: Hoboken, NJ: John Wiley
[Remove]
Introduction to operations research 9th ed.
Author: Hillier, Frederick S.; | Publisher:
[Remove]
Aplikasi chat conference pada mobile phone dengan menggunakan enkripsi. ( hal. F-24/F-29 )
Author: Johan Mulya Kerta,Hendra,Jimmy Suhartono,and Sumario; | Publisher:
[Remove]
Linux firewalls/Robert L. Ziegler
Author: Ziegler, Robert L.; | Publisher: Indianapolis, Indiana 1999
[Remove]
Discrete discriminant analysis
Author: Goldstein, Matthew; | Publisher: New York: John Wiley
[Remove]