Search Results - "Java"

MENINGKATKAN KEMAMPUAN BERPIKIR MATEMATIS SISWA KELAS III MELALUI PEMBELAJARAN KONTEKSTUAL BERBASIS PERMAINAN TRADISIONAL JAWA BARAT by Rosida, Ida

Link Metadata

PENGEMBANGAN PERENCANAAN PENDIDIKAN PARTISIPATIF BERBASIS KEWILAYAHAN DALAM KONTEKS OTONOMI DAERAH: Studi evaluatif faktor determinan untuk meningkatkan indeks pendidikan dalam men... by Abdurachim, Dudi Sudrajat

Link Metadata

ANALISIS KEBIJAKAN SISTEM PEMBINAAN DAN PENGEMBANGAN OLAHRAGA PENDIDIKAN DI JAWA BARAT: PERSPEKTIF HISTORIS DAN TANTANGAN PERUBAHAN KEBIJAKAN MASA DEPAN by Muhammad Gilang Ramadhan, -

Link Metadata

HUBUNGAN ROTASI JABATAN DENGAN SEMANGAT KERJA PEGAWAI PADA SUB BAGIAN KEPEGAWAIAN DAN UMUM SEKRETARIAT DINAS PENDIDIKAN PROVINSI JAWA BARAT by Dessy Windy Hapsari, -

Link Metadata

PEMBINAAN DAN PENGEMBANGAN OLAHRAGA MASYARAKAT YANG BERKEMAJUAN DI JAWA BARAT: PERSPEKTIF HISTORIS DAN MODEL KEBIJAKAN MASA DEPAN by Sandi Arisma Cipta Perdana Ilsya, -

Link Metadata

PENGARUH LINGKUNGAN KERJA SOSIAL DAN PENGEMBANGAN KARIR TERHADAP KEPUASAN KERJA PEGAWAI DINAS PENGELOLAAN SUMBER DAYA AIR PROVINSI JAWA BARAT by Atin Nurdini, -

Link Metadata

PENGARUH KOMPETENSI, MOTIVASI KERJA, PENGALAMAN PRAKTIK KERJA INDUSTRI DAN SARANA TERHADAP KESIAPAN KERJA LULUSAN SMK PROGRAM KEAHLIAN ELEKTRO by Abur Mustikawanto, -

Link Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

The Effects of Red Palm Oil, Koja Bay Leaves, and Passion Fruit Seeds Formulation on Antioxidant Activity, Antihyperlipidemia, BDNF, and Lipase Enzyme Activity on Sprague-Dawley Ra... by Sari DK, Ibrahim N, Herlina N, Arrasyid NK, Dharmajaya R, Rachmawati M, Muhammad N, Salazar-Chang I

Connect to this object online.

Agriculture Research Center Di Lahan Pasir Pantai Baru Yogyakarta (Dengan Pendekatan Green Architecture) by Saputro, Tendi Eko, , Nur Rahmawati S , ST, MT, , Ronim Azizah , ST, MT

Connect to this object online

ANALISIS KEPERCAYAAN MEREK TERHADAP NIAT BELI MOBIL LISTRIK DENGAN MENGADOPSI THEORY OF PLANNED BEHAVIOR SEBAGAI MEDIASI by Halimah Zahrah, -

Link Metadata

IMPLEMENTASI METODE BLENDED LEARNING UNTUK MENINGKATKAN KOMPETENSI TENAGA KESEHATAN AKUPRESUR : Studi Pada Pelatihan Tenaga Kesehatan Dalam Pelayanan Akupresur di UPTD Pelatihan Ke... by Dani Ramdan, -

Link Metadata

PROFIL KEBUGARAN JASMANI PESERTA REHABILITASI PENYALAHGUNA NAPZA DI RUMAH PALMA RUMAH SAKIT JIWA PROVINSI JAWA BARAT by Dika, Aprilia Soma

Link Metadata

PENGARUH BELANJA MODAL, PENANAMAN MODAL DALAM NEGERI, DAN PENANAMAN MODAL ASING TERHADAP PERTUMBUHAN EKONOMI DAN IMPLIKASINYA PADA PENDAPATAN ASLI DAERAH: Studi Pada Kabupaten dan... by Santoso, Irvan

Link Metadata

STUDI KOMPARASI TINGKAT KEBUGARAN AEROBIC MAXIMAL CAPACITY (VO2MAX) PADA MAHASISWA ILMU KEOLAHRAGAAN UPI 2015 YANG BERASAL DARI DAERAH JAWA BARAT, DKI JAKARTA DAN BANDAR LAMPUNG by Firmansyah, Ilham

Link Metadata

MANAJEMEN PENGALAMAN GEGAR BUDAYA TERBALI MAHASISWA INDONESIA DI LUAR NEGERI : Studi Kasus pada Komunitas Mata Garuda Jawa Barat by M. Rizky Rizal Purnama, -

Link Metadata

PERBANDINGAN MODEL FUNGSI TRANSFER, GSTAR, DAN GSTARX PADA PERAMALAN INFLASI DI JAWA by Aghnia Fauziah Sahar, -

Link Metadata

LAPORAN PERENCANAAN DAN PERANCANGAN STASIUN TERPADU KOTA BANDUNG DENGAN TEMA KONTEKSTUAL JUKSTAPOSISI by Luthfi Fauzyan Hermawanpraja, -

Link Metadata

TARI PANYENGGRAMA AGUNG DI SANGGAR SENI PRINGGADHING DESA PURBAWINANGUN KECAMATAN PLUMBON KABUPATEN CIREBON by Kiki Andrian, -

Link Metadata

MENINGKATKAN HASIL BELAJAR SISWA DENGAN MENGGUNAKAN MEDIA AUDIO VISUAL PADA PEMBELAJARAN IPA TENTANG RANGKA MANUSIA : Penelitian Tindakan Kelas Dilakukan di Kelas IV Semester I... by Rahayu, Puji

Link Metadata