Ditemukan 90 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
Gear, C. William (Charles William), 1935-, author
1978
001.64 GEE a
Buku Teks Universitas Indonesia Library
Gebali, Fayez, author
New Jersey: John Wiley & Sons, 2011
004.35 GEB a;004.35 GEB a (1)
Buku Teks Universitas Indonesia Library
Cormen, Thomas H., author
Cambridge, UK: MIT Press, 1990
005.1 COR i
Buku Teks Universitas Indonesia Library
Iverson, Kenneth E., author
New York : John Wiley & Sons, 1962
005.13 IVE p
Buku Teks Universitas Indonesia Library
Fitria Ridayanti, author
Tugas akhir ini membahas tentang metode pembagian data rahasia, di mana data rahasia yang digunakan berupa citra digital. Metode yang dibahas merupakan gabungan dari skema pembagian data rahasia menggunakan matriks proyeksi yang dikembangkan oleh Bai dan skema pembagian gambar rahasia oleh Thien dan Lin. Skema ini menggunakan threshold (k,n), di...
Depok: Fakultas Teknik Universitas Indonesia, 2013
S46478
UI - Skripsi (Membership) Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Frontiers of Algorithmics Workshop, FAW 2012, and the 8th International Conference on Algorithmic Aspects in Information and Management, AAIM 2012, jointly held in Beijing, China, in May 2012. The 33 revised full papers presented together with 4 invited talks were...
Berlin: Springer-Verlag, 2012
e20410306
eBooks Universitas Indonesia Library
Liu, Jing, author
This book introduces the linkage between evolutionary computation and complex networks and the advantages of cross-fertilising ideas from both fields. Instead of introducing each field individually, the authors focus on the research that sits at the interface of both fields. The book is structured to address two questions: (1) how...
Switzerland: Springer Cham, 2019
e20502739
eBooks Universitas Indonesia Library
Liu, Jing, author
This book introduces the linkage between evolutionary computation and complex networks and the advantages of cross-fertilising ideas from both fields. Instead of introducing each field individually, the authors focus on the research that sits at the interface of both fields. The book is structured to address two questions: (1) how...
Switzerland: Springer Cham, 2019
e20502739
eBooks Universitas Indonesia Library
Saras Ayu Heidiana, author
Kemudahan dalam mengakses atau mendapatkan berbagai macam informasi digital menjadikan citra digital salah satu objek yang rentan di manipulasi. Teknik kriptografi dapat diterapkan untuk menjaga keaslian dan keamanan citra digital. Suatu algoritma enkripsi berbasis chaos dirancang untuk meningkatkan daya tahan terhadap brute force attack dan known plaintext attack. Pada skripsi...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2014
S56341
UI - Skripsi Membership Universitas Indonesia Library