Ditemukan 899 dokumen yang sesuai dengan query
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
Stratford-Collins, M.J., author
Chichester: Ellis Horwood, 1982
681.142 STA a
Buku Teks Universitas Indonesia Library
Fakultas Teknik Universitas Indonesia, 1990
S38235
UI - Skripsi (Membership) Universitas Indonesia Library
Winardi Sutantyo
Jakarta: Elex Media Komputindo, 1998
005.3 SUT p
Buku Referensi Universitas Indonesia Library
Christoper, author
Jakarta: Dinastindo, 1992
005.369 CHR b
Buku Teks Universitas Indonesia Library
Patrick, John J., author
Upper Saddle River, NJ : Prentice Hall PTR, 1999
005.756 5 PAT s
Buku Teks Universitas Indonesia Library
F.X. Sutiono Gunadi, author
Jakarta: Elex Media Komputindo , 1988
621.381 953 SUT s
Buku Teks Universitas Indonesia Library
Plum, Thomas, author
Englewood Cliffs: Prentice-Hall, 1984
R 681.14 PLU c
Buku Referensi Universitas Indonesia Library
Langtangen, Hans Petter , author
The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches "Matlab-style" and procedural programming as well as object-oriented programming....
New York: [, Springer-Verlag Berlin Heidelberg], 2012
e20418910
eBooks Universitas Indonesia Library