Ditemukan 203 dokumen yang sesuai dengan query
Gabriel Fiorentino Setiadin, author
Laporan magang ini berisi evaluasi persiapan dokumen sidang formal oleh PT SPN dalam proses banding Pajak Penghasilan (PPh) Pasal 23 PT UHY. Pokok sengketa banding pajak dalam kasus ini adalah perbedaan perhitungan Dasar Pengenaan Pajak PPh Pasal 23 Terutang antara Wajib Pajak (PT UHY) dengan Direktorat Jenderal Pajak (DJP). Evaluasi...
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2022
TA-pdf
UI - Tugas Akhir Universitas Indonesia Library
Russinoff, David M., author
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to...
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
Muhammad Daffa Harafandi, author
Norma gender tradisional dapat menghambat kesempatan perempuan untuk kembali bekerja dibandingkan laki-laki sehingga perempuan perlu meningkatkan kemampuan untuk bersaing dalam pasar kerja dengan mengikuti pelatihan kerja. Studi ini bertujuan untuk mengetahui pengaruh pelatihan kerja terhadap peluang transisi kerja bagi perempuan dan laki-laki. Dengan menggunakan data Sakernas Agustus 2021, hasil penelitian...
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2023
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Muhammad Daffa Harafandi, author
Norma gender tradisional dapat menghambat kesempatan perempuan untuk kembali bekerja dibandingkan laki-laki sehingga perempuan perlu meningkatkan kemampuan untuk bersaing dalam pasar kerja dengan mengikuti pelatihan kerja. Studi ini bertujuan untuk mengetahui pengaruh pelatihan kerja terhadap peluang transisi kerja bagi perempuan dan laki-laki. Dengan menggunakan data Sakernas Agustus 2021, hasil penelitian...
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2023
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Muhammad Fitri Natriawan, author
Realita bisnis tahun 90-an kondisinya memang sudah jauh berbeda dari situasi bisnis dalam dasawarsa sebelumnya. Dalam dasawarsa 70-an sampai tahun 80-an, perkembangan bisnis relative stabil dan masih bisa diprediksi. Sekarang ini, perubahan bisnispun semakin cepat sehingga memberikan tantangan sekaligus peluang bagi perusahaan yang mampu mengadaptasi setiap gejolak perubahan yang terjadi...
Depok: Universitas Indonesia, 2007
T23293
UI - Tesis (Membership) 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
Enny Noviana, author
Penelitian ini bertujuan untuk menganalisis Kebijakan Pajak Atas Homestay Di Desa Wisata Batulayang Kabupaten Bogor ditinjau dari hukum pajak material dan hukum pajak formal. Penelitian ini juga bertujuan menganalisis implementasi pemungutan Pajak Hotel di Kabupaten Bogor. Adapun penelitian ini mengadopsi paradigma post-positivisme dengan menggunakan Metode Penelitian Kualitatif dengan memusatkan pada...
Depok: Fakultas Ilmu Administrasi Universitas Indonesia, 2019
T55214
UI - Tesis (Membership) Universitas Indonesia Library
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410163
eBooks Universitas Indonesia Library
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
