Ditemukan 203 dokumen yang sesuai dengan query
The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for...
Berlin: Springer-Verlag, 2012
e20410265
eBooks Universitas Indonesia Library
Goodloe, Alwyn E., editor
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are...
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks Universitas Indonesia Library
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : Springer, 2012
e20410564
eBooks Universitas Indonesia Library
Margaria, Tiziana, editor
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : [, Springer-Verlag], 2012
e20410565
eBooks Universitas Indonesia Library
Kazmierski, Tom J., editor
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and...
New York: [Springer, ], 2012
e20418367
eBooks Universitas Indonesia Library
Clara R.P. Ajisuksmo, author
ABSTRAK
Untuk mengakui dan memenuhi hak-hak anak, pemerintah Indonesia telah meratifikasi Konvensi Hak Anak (KHA) tahun 1990 dan mensahkan UU No 23 tentang Perlindungan Anak tahun 2002. Pasal 28 dari KHA menyatakan bahwa negara-negara peserta mengakui bahwa setiap anak mempunyai hak untuk memperoleh pendidikan, mewujudkan hak tersebut secara bertahap berdasarkan pada...
[Direktorat Riset dan Pengabdian Masyarakat UI;Fakultas Psikologi Universitas Indonesia, Fakultas Psikologi Universitas Indonesia], 2009
J-pdf
Artikel Jurnal Universitas Indonesia Library
Clara R.P. Ajisuksmo, author
Akibat kemiskinan orang tua, anak harus berada di jalan atau bekerja untuk ikut membantu menunjang ekonomi
keluarga. Sebagai konsekuensi, anak harus meninggalkan bangku sekolah. Padahal, menurut pasal 28 dari Konvensi
Hak Anak (KHA) pendidikan merupakan salah satu hak anak yang harus dipenuhi, dan negara wajib untuk
memfasilitasi pemenuhan hak tersebut melalui penyelenggaraan program...
Fakultas Psikologi Universitas Indonesia, 2012
PDF
Artikel Jurnal Universitas Indonesia Library
Clara R.P. Ajisuksmo, author
Untuk mengakui dan memenuhi hak-hak anak, pemerintah Indonesia telah meratifikasi Konvensi Hak Anak (KHA)
tahun 1990 dan mensahkan UU No 23 tentang Perlindungan Anak tahun 2002. Pasal 28 dari KHA menyatakan bahwa
negara-negara peserta mengakui bahwa setiap anak mempunyai hak untuk memperoleh pendidikan, mewujudkan hak
tersebut secara bertahap berdasarkan pada kesempatan yang sama....
Fakultas Psikologi Universitas Indonesia, 2009
PDF
Artikel Jurnal Universitas Indonesia Library
Nguyen, Anh Hoang, author
This study is an attempt to investigate the motivation behind the decision to participate in the
credit market of SMEs from perspectives of behavioral finance and social capital theories. In addition,
the study also examines the effect of behavioral finance and social capital factors on the credit
source selection among SMEs. This study’s...
Ritsumeikan Asia Pacific University, Japan, 2014
PDF
Artikel Jurnal Universitas Indonesia Library
Shiba Ahsana Kaafura, author
Skripsi ini bertujuan untuk menganalisis pengelolaan program pembelajaran non formal bagi anak-anak dari keluarga berpenghasilan rendah dengan studi kasus pada Program Rumah Pintar Nusantara di Tangerang Selatan dan Kelas Belajar OKY di Bintaro Permai Tiga yang dilakukan pada bulan Januari hingga Juni 2024. Urgensi dilakukannya riset ini adalah perlunya mendeskripsikan...
Depok: Fakultas Ilmu Sosial dan Ilmu Politik Universitas Indonesia, 2024
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
