Ditemukan 483 dokumen yang sesuai dengan query
Carter, John W.
Upper Saddle River, NJ: Prentice-Hall, 1997.
621.395 CAR d
Buku Teks Universitas Indonesia Library
Nicod, Jean
London: Routledge & Kegan Paul, 1930
161 NIC f
Buku Teks Universitas Indonesia Library
Jeroen Janssen, editor
We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique...
Paris: Atlantis Press, 2012
e20406539
eBooks Universitas Indonesia Library
Luke Ong, editor
This book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The...
Berlin: [, Springer-Verlag], 2012
e20410041
eBooks Universitas Indonesia Library
Thomas Agotnes, editor
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning,...
Berlin: [Springer-Verlag, ], 2012
e20410210
eBooks Universitas Indonesia Library
Marcovitz, Alan B.
CD-ROM contains: Altera Max+Plus II 9.23 Student edition -- Yoeric's Winbreadboard.
...
Boston: McGraw-Hill , 2005
621MARI001
Multimedia Universitas Indonesia Library
Roth, Charles H., author
New York: West Publishing, 1979
621.381 ROT f
Buku Teks Universitas Indonesia Library
Richard Lokasasmita, author
Kanker servik yang juga dikenal dengan istilah kanker leher rahim merupakan salah satu dari jenis kanker yang paling umum diderita oleh wanita. Kanker ini dapat disembuhkan apabila kanker ini terdeteksi pada stadium awal dan diberikan perawatan yang sesuai. Salah satu cara untuk mencegah kanker servik agar tidak memasuki stadium lebih...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2007
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Prastudy Mungkas Fauzi, author
Teknologi perangkat lunak berbasis komponen adalah sebuah trend yang menjanjikan dalam pengembangan perangkat lunak. Hal ini disebabkan oleh sifat reusability dari sebuah komponen, dimana komponen dapat digunakan kembali dan dikomposisikan menjadi aplikasi yang diinginkan. Konsep perangkat lunak berbasis komponen ini didasari oleh komponen dalam bidang elektronika, dimana pihak yang ingin...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2007
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Nurul Hikmah, author
Identifikasi retina merupakan metode identifikasi biometrik dengan tingkat kesalahan rendah melalui pola-pola unik pembuluh darah di bagian belakang retina. Pola-pola ini dapat digunakan sebagai data latih logika neuro fuzzy untuk kemudian digunakan sebagai pembanding pada saat identifikasi dilakukan.
Penelitian ini bertujuan untuk mengenali citra retina mata manusia, baik bagian kiri maupun...
2008
S40478
UI - Skripsi (Open) Universitas Indonesia Library
