PERAN PUBLIC FIGURE TERHADAP PARTISIPASI POLITIK MASYARAKAT DI MASA PANDEMI COVID-19 (Studi Deskriptif Pasangan Nina Agustina Da'i Bachtiar dan Lucky Hakim Pada Pemilihan Kepala D... by Ruspandi, -

Link Metadata

KETERLAMBATAN PERKEMBANGAN MOTORIK KASAR DALAM HAL BERJALAN PADA ANAK USIA DINI (Penelitian Studi Kasus Terhadap Anak Usia Dini di Kp. Cikopo Pakusarakan Desa Jasinga Kecamatan Ja... by Suminar, -

Link Metadata

MODAL SOSIAL KEBERHASILAN KELOMPOK TANI HARAPAN GAMBLANG II DALAM MENINGKATKAN PRODUKSI PADI DI DESA PANYADAP KECAMATAN SOLOKANJERUK by Cindy Permata Alam, -

Link Metadata

UPAYA GURU DALAM MENERAPKAN PERILAKU HIDUP SEHAT DAN BERSIH PADA ANAK USIA DINI by Sharifah Fiera Nugraha, -

Link Metadata

PERKEMBANGAN KESENIAN SEKURA DI WILAYAH SKALA BRAK PAKSI BUAY PERNONG KABUPATEN LAMPUNG BARAT TAHUN 1991-2017 by Sheptia Lea Maharani, -

Link Metadata

IMPLEMENTASI EVALUASI PEMBELAJARAN PENDIDIKAN AGAMA ISLAM DAN BUDI PEKERTI PADA ASPEK KETERAMPILAN BACAAN SHOLAT JENAZAH MELALUI DARING SESUAI KURIKULUM 2013 DI SMP NEGERI 32 BANDU... by Eko Abdurrohman, -

Link Metadata

MENINGKATKAN KEMAMPUAN MOTORIK KASAR ANAK USIA DINI MELALUI MODIFIKASI PERMAINAN TRADISIONAL LOMPAT TALI : Penelitian Tindakan untuk Kelompok B di TKQ YASNI Kecamatan Gunungguruh K... by Neng Siti Rahma, -

Link Metadata

IMPLEMENTASI KEBIJAKAN PEMBELAJARAN PENDIDIKAN JASMANI OLAHRAGA DAN KESEHATAN PADA MASA PANDEMI COVID-19 DI SMA NEGERI 5 KOTA SUKABUMI by Sugih Pangestu, -

Link Metadata

IMPLEMENTASI BLENDED LEARNING PADA MATA PELAJARAN IPS MELALUI GOOGLE CLASSROOM DI SMP NEGERI 2 BANJARAN by Rossi Widyawati, -

Link Metadata

PERANAN PONDOK PESANTREN DARUTTAUBAH AL-ISLAMI PADA PERKEMBANGAN PENDIDIKAN MASYARAKAT DI WILAYAH PROSTITUSI SARITEM DI KOTA BANDUNG (2015-2020) by Vebyanti Az'zahra, -

Link Metadata

PERAN GURU TAMAN KANAK-KANAK DALAM PENERAPAN PENDIDIKAN JASMANI PADA ANAK USIA DINI by Destri Adiani Putri, -

Link Metadata

PENGARUH KELELAHAN TERHADAP KECEPATAN BOLA DAN KECEPATAN DRIVE INSTEP KICKING PADA SEPAK BOLA by Muhammad Fajri, -

Link Metadata

KETERLIBATAN WARGA NEGARA (CIVIC ENGAGEMENT) DALAM PEMBUATAN DOKUMEN KEPENDUDUKAN DEMI MEWUJUDKAN WARGA NEGARA YANG BAIK DAN CERDAS (SMART AND GOOD CITIZENSHIP) : Studi Kasus Pada... by Haryati Aprilia Wahyuningsih, -

Link Metadata

SURVEI KEBUGARAN JASMANI PASCA PEMBELAJARAN PENDIDIKAN JASMANI DI MASA PANDEMIK COVID-19 PADA SISWA SMAN 7 GARUT by Senja Ariya Putra, -

Link Metadata

PENGARUH PENILAIAN KINERJA PEGAWAI TERHADAP PROMOSI JABATAN FUNGSIONAL DI PUSAT PENELITIAN DAN PENGEMBANGAN JALAN DAN JEMBATAN BADAN PENELITIAN DAN PENGEMBANGAN KEMENTERIAN PEKERJA... by Novia Marliana, -

Link Metadata

PERANCANGAN ROLE PLAYING GAME SEBAGAI UPAYA MEMBANGUN RESISTENSI TERHADAP CYBERCRIME by Rizky Agung Ardiansyah, -

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

Operating Systems and Middleware Supporting Controlled Interaction by Hailperin, Max

Access online version

Frauen und Geschlechter Bilder - Rollen - Realitäten in den Texten antiker Autoren zwischen Antike und Mittelalter by Rollinger, Robert

DOAB: download the publication
DOAB: description of the publication

Frauen und Geschlechter Band 1 Bilder - Rollen - Realitäten in den Texten antiker Autoren der römischen Kaiserzeit by Ulf, Christoph

DOAB: download the publication
DOAB: description of the publication