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 helpdesk berbasis web untuk laboratorium komputasi S1 Fasilkom UI
Author: Ihsan Wahyu Prabawa; | Publisher: Depok: Fasilkom UI, 2005
[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]
Efficient model checking using tabled resolution, Hal. 143-154
Author: Y.S. Ramakrishna; C.R. Ramakrishnan, IV, Ramakrishnan; | Publisher: Springer, 1997
[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]