Ditemukan 752 dokumen yang sesuai dengan query
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20410409
eBooks Universitas Indonesia Library
Eifelson, author
Piston pada motor adalah komponen dari mesin pembakaran dalam yang berfungsi sebagai penekan udara masuk dan penerima hentakan pembakaran pada ruang bakar silinder liner. Material penyusun piston tersebut adalah AC8H yang sifatnya ringan, kuat, dan tahan aus. Menanggapi tantangan mahalnya sumber energi dunia khususnya bahan bakar minyak, industri-industri harus mengambil...
Depok: Fakultas Teknik Universitas Indonesia, 2008
S41641
UI - Skripsi (Open) Universitas Indonesia Library
This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Computational Intelligence, AICI 2012, held in Chengdu, China, in October 2012. The 163 revised full papers presented were carefully reviewed and selected from 724 submissions. The papers are organized in topical sections on applications of artificial...
Berlin: Springer-Verlag, 2012
e20408432
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in...
Berlin: Springer-Verlag, 2012
e20410262
eBooks Universitas Indonesia Library
The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal, Canada, in October 2012. The 197 revised full papers presented were thoroughly reviewed and selected from 271 submissions. They present...
Berlin : Springer-Verlag, 2012
e20410582
eBooks Universitas Indonesia Library
The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal, Canada, in October 2012. The 197 revised full papers presented were thoroughly reviewed and selected from 271 submissions. They present...
Berlin : Springer-Verlag, 2012
e20410583
eBooks Universitas Indonesia Library
The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal, Canada, in October 2012. The 197 revised full papers presented were thoroughly reviewed and selected from 271 submissions. They present...
Berlin : Springer-Verlag, 2012
e20410581
eBooks Universitas Indonesia Library
Edbert Theda, author
=Memberikan proteksi terhadap kemungkinan terjadinya kerugian merupakan hal yang sangat penting dalam perusahaan asuransi. Dalam bisnis asuransi, menghitung cadangan adalah suatu tindakan yang wajib dilakukan untuk mengantisipasi klaim polis asuransi yang tidak terduga. Setiap perusahaan asuransi tentu harus mengestimasi cadangan klaim yang dibutuhkan. Chain Ladder merupakan salah satu cara menghitung...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
The three-volume set LNAI 7196, LNAI 7197 and LNAI 7198 constitutes the refereed proceedings of the 4th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2012, held in Kaohsiung, Taiwan in March 2012.
The 161 revised papers presented were carefully reviewed and selected from more than 472 submissions. The...
Berlin : Springer-Verlag, 2012
e20410612
eBooks Universitas Indonesia Library
The three-volume set LNAI 7196, LNAI 7197 and LNAI 7198 constitutes the refereed proceedings of the 4th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2012, held in Kaohsiung, Taiwan in March 2012.
The 161 revised papers presented were carefully reviewed and selected from more than 472 submissions. The...
Berlin : Springer-Verlag, 2012
e20410610
eBooks Universitas Indonesia Library
