Ditemukan 1384 dokumen yang sesuai dengan query
Hofmann, Ruedi, author
Jakarta: Gramedia Widia Sarana Indonesia, 1999
384.55 HOF d
Buku Teks Universitas Indonesia Library
Cambridge, UK: Harvard University Press, 1967
353.007 2 PRO
Buku Teks Universitas Indonesia Library
Panjaitan, Erica L., author
Jakarta: Yayasan Obor Indonesia, 2006
384.55 PAN m
Buku Teks Universitas Indonesia Library
Taibei: Dr. Master Press (Bo Shi gu wen you xian Gongsi, [date of publication not identified]
001.642 5 THU
Buku Teks Universitas Indonesia Library
Taibei: Boshuo Guwen, 1995
001.642 5 ZOU
Buku Teks Universitas Indonesia Library
Hanselman, Duane, author
Yogyakarta: Andi , 1997
005.12 HAN m
Buku Teks Universitas Indonesia Library
Dorn, William S., author
New York: John Wiley & Sons, 1972
621.381 92 DOR n
Buku Teks Universitas Indonesia Library
Diah Kusumawati, author
Tugas akhir mi membahas cara pembuatan prosedur dan program pembuktian teorema dengan bahasa Turbo Prolog. Dalam hal ini Turbo Prolog digunakan sebagai alat pembukti teorerna. Juga dijelaskan logika dan dasar-dasar cara pembuatan prosedur dan program tersebut, diantaranya yang terpenting adalah dasar dan cara kerja Turbo Prolog, yaitu pembuktian dengan kontradiksi...
Depok: Universitas Indonesia, 1988
S26942
UI - Skripsi (Membership) Universitas Indonesia Library
Naskah ini merupakan kumpulan buku acara (programa) kecil-kecil, serta catatan dan ringkasan, tentang pertunjukkan wayang, musik, drama, tarian, dan sebagainya, yang diselenggarakan bersamaan dengan perayaan-perayaan tertentu. Bahan-bahan itu kemudian digabung oleh Pigeaud dan dijilid olehnya menjadi satu set buku berkomposisi majemuk. FSUI/LL.77 ini adalah jilid pertama dari seri sembilan jilid...
[Place of publication not identified]: [publisher not identified], [date of publication not identified]
LL.77-G 72.01
Naskah Universitas Indonesia Library
Naskah ini merupakan kumpulan buku acara (programa) kecil-kecil, serta catatan dan ringkasan, tentang pertunjukkan wayang, musik, drama, tarian, dan sebagainya, yang diselenggarakan bersamaan dengan perayaan-perayaan tertentu. Bahan-bahan itu kemudian digabung oleh Pigeaud dan dijilid olehnya menjadi satu set buku berkomposisi majemuk. FSUI/LL.78 ini adalah jilid kedua dari seri sembilan jilid...
[Place of publication not identified]: [publisher not identified], [date of publication not identified]
LL.78-G 72.02
Naskah Universitas Indonesia Library
