Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Favorite
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Publisher: Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
[Remove]
Pengembangan Aplikasi Berbasis Web App Searching di PT Artajasa Pembayaran Elektronis
Author: Oksa Akbar Runa; | Publisher: Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2018
[Remove]
Extracting parallel paragraphs and senteces form English-Persian Translated deocument, Hal 574-583
Author: Mohammad Sadegh Rasooli, Omid Kashefi; Behrouz Minaei-Bidgoli; | Publisher: Springer, 2011
[Remove]
Classification of forest fire spreading model based on cellular automata approach, Hal. 38-42
Author: Ahmad Zuhdi; Aniati Murni; | Publisher: NACSIT 2007 : Proceedings National Conference on Computer Science
[Remove]
Principles of computer speech/ I.H. Witten
Author: Witten, I.H.; | Publisher: Acemic Press, 1982
[Remove]
Solving Induction Reasoning Problems in Mathematics: Not-so Trivial Pursuit, page 249-298
Author: | Publisher: Norwood, New Jersey: Ablex Publishing Corporations
[Remove]
Speech and hand transcribed retrieval, (LNCS-Lecture Notes in Computer Science 2773) Hal 78-85
Author: Mark Sanderson; Xiao Mang Shou; | Publisher: Springer, 2002
[Remove]
Implementasi deskripsi wavelet pada sistem temu kembali citra/Andi Tri Nugraha
Author: Andi Tri Nugraha; | Publisher: Depok: Fasilkom UI, 1998
[Remove]