Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 203 dokumen yang sesuai dengan query
cover
Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
" This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; ... "
Berlin: Springer-Verlag, 2011
e20407983
eBooks  Universitas Indonesia Library
cover
Benny Hoedoro Hoed
Pendidikan di Prancis
" French formal educational system consists of three "layers", i.e. elementary school (école élémentaiire, four years, age 6-11), junior secondary school (college, four years, age ll-15), senior secondary school (lycée, three years, age 15-18). The last year of lycée is called class terminale' at the end of which students have to take the baccalaureal examinations. At the tertiary layer we have the universities and grandes école. Universities are more research and theory oriented (except for the ... "
Depok: Program Pascasarjana Universitas Indonesia, 2008
JKWE-4-3-2008-5
Artikel Jurnal  Universitas Indonesia Library
cover
Perbandingan tingkat kreativitas pada pendidikan formal dan non formal (Studi kasus: SD Al Azhar dan Sanggar Kreativitas Anak)
Fakultas Ilmu Sosial dan Ilmu Politik Universitas Indonesia, 1993
S6750
UI - Skripsi Membership  Universitas Indonesia Library
cover
Languages alive : essays dedicated to Jurgen Dassow on the occasion of his 65th birthday
" This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional complexity, as well as 'classical' topics of automata and language theory, the articles presented span the range of the scientific work of Jürgen Dassow ... "
Berlin: Springer-Verlag, 2012
e20410178
eBooks  Universitas Indonesia Library
cover
Anita Aryani Kartomo
Motivasi untuk berprestasi pada wiraswastawan yang berhasil di sektor informal dan formal
" ABSTRAK
Sejak awal masa Orde Baru. bangsa Indonesia mulai melaksanakan Pembangunan Nasional. khususnya di bidang ekonomi. Untuk itu pemerintah menaruh perhatian yang besar terhadap perkembangan wiraswasta. Diharapkan dengan berkembangnya kewiraswastaan di Indonesia dapat membantu pertumbuhan perekonomian bangsa. Perekonomian di Indonesia terbagi dalam 2 kelompok besar yaitu sektor formal dan sektor informal. Dengan berkembangnya bangsa Indonesia ke arah modernisasi maka diharapkan lebih banyak wiraswastawan yang bergerak di sektor formal dibanding sektor informal. Namun kenyataan· yang ada. lebih ... "
Depok: Fakultas Psikologi Universitas Indonesia, 1987
S-Pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Jajang Gunawijaya
Potensi pemimpin non formal dalam program Posyandu di Desa Cikujang Kecamatan Cisaat Sukabumi
" ABSTRAK
Manusia yang tangguh yang diperlukan untuk menghadapi tantangan di masa yang akan datang perlu dipersiapkan sejak dini, sejak janin dalam kandungan, masa balita,sampai pada persiapan kemampuan kerja. Posyandu merupakan strategi untuk memelihara kelangsungan hidup anak sejak janin kandungan sampai usia balita, juga merupakan strategi untuk membina tumbuh kembang anak secara sempurna baik fisik pun mental sehingga siap menjadi tenaga kerja yang tangguh. dalam mau Posyandu yang merupakan strategi untuk mempersiapkan manusia yang tangguh tersebut di ... "
1990
S-Pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Suharso A.S.P.
Taman formal: gambar perspektif, sketsa dan komponennya / Suharso A.S.P.
Yogyakarta: Kanisius , 1995
712.5 SUH t (1)
Buku Teks  Universitas Indonesia Library
cover
Coombs, Philip H.
Memerangi kemiskinan di pedesaan melalui pendidikan non-formal = Attacking rural poverty; how nonformal education can help
Jakarta: Rajawali, 1985
370.193 COM at
Buku Teks  Universitas Indonesia Library
cover
Coombs, Philip H.
Memerangi kemiskinan di pedesaan melalui pendidikan non-formal = Attacking rural poverty; how nonformal education can help
Jakarta: Rajawali, 1984
370.193 COM at
Buku Teks  Universitas Indonesia Library
cover
Rohit Gheyi, editor
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
" This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of ... "
Berlin: [, Springer-Verlag], 2012
e20409397
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>