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]
Pembacaan sensor kamera (Web cam) jarak jauh memanfaatkan sarana SMTP dan POP3 pada internet, Hal. 65-73
Author: Wijatmoko U. Prayitno; Munif Softyan; I. Wayan S. Wicaksana; | Publisher: National open source workshop
[Remove]
The principles and evaluation of FEC, Hal. 3692-3694
Author: Zhengjun LI; Yixuan FAN; | Publisher: 2011 International Conference on information science and engineering (ICISE) Sept. 29th-Oct. 1st 2011 in Yangzou, China
[Remove]
Solving Induction Reasoning Problems in Mathematics: Not-so Trivial Pursuit, page 249-298
Author: | Publisher: Norwood, New Jersey: Ablex Publishing Corporations
[Remove]
Principles of computer speech/ I.H. Witten
Author: Witten, I.H.; | Publisher: Acemic Press, 1982
[Remove]