TRANSFORMASI NILAI-NILAI PANCASILA MELALUI ORGANISASI MAHASISWA GUNA MENINGKATKAN KESADARAN BERBANGSA DAN BERNEGARA by Wibowo, Arif Prasetyo

Link Metadata

PENGARUH MEWARNAI GAMBAR BINATANG UNTUK MENGURANGI PERILAKU HIPERAKTIF ANAK TUNARUNGU KELAS 1 DI SLB BC YPNI PAMEUNGPEUK KABUPTEN BANDUNG by Pertiwi, An-Nisaa

Link Metadata

PENERAPAN METODE CURAH PENDAPAT UNTUK MENGEMBANGKAN KETERAMPILAN BERKOMUNIKASI SISWA DALAM PEMBELAJARAN IPS : Penelitian Tindakan Kelas di Kelas VII-D SMP Negeri 40 Bandung by Sukmayanti, Anita

Link Metadata

IMPLEMENTASI NILAI-NILAI KEARIFAN LOKAL SUNDA DALAM PEMBELAJARAN PKN SEBAGAI PENGUAT KARAKTER SISWA : Studi Kasus di SMP Negeri 3 Purwakarta by Purwanti, Metty Indah

Link Metadata

KONSTRUKSI SOSIAL WARGA BANDUNG ATAS MAKNA PEMBANGUNAN BERKELANJUTAN DALAM PERSPEKTIF PENDIDIKAN KEWARGANEGARAAN by Saepudin, Epin

Link Metadata

PENGUATAN PENDIDIKAN KARAKTER KELUARGA DALAM MEMPERSIAPKAN WARGA NEGARA YANG BAIK MELALUI PROGRAM PENGASUHAN DASAR KELUARGA by Sarwendah, Titin

Link Metadata

IMPLEMENTASI TATA TERTIB SEKOLAH DALAM PENANAMAN BUDAYA DISIPLIN SISWA: Studi Deskriptif di SMPN I Tanjungsiang by Puspita, Tanti Reni

Link Metadata

PETA POLITIK PARTAI PERSATUAN PEMBANGUNAN (PPP) DALAM PEMILIHAN UMUM TAHUN 1999 DI JAWA BARAT by Hanifah, Setia Rohman

Link Metadata

PENGEMBANGAN METODE PEMBELAJARAN KOOPERATIF TIPE STUDENT TEAMS ACHIEVEMENT DIVISSIONS (STAD) PADA PEMBELAJARAN IPS UNTUK MENINGKATKAN KERJASAMA DALAM KELOMPOK by Oktaviany, Chintia

Link Metadata

PEMIMPIN PELOPOR SEBAGAI FAKTOR PENGGERAK PARTISIPASI MASYARAKAT DALAM PROGRAM BANK SAMPAH DI RW. 14 KELURAHAN TAMANSARI KECAMATAN BANDUNG WETAN KOTA BANDUNG by Satria, Lupy Dwi Septa

Link Metadata

PERANAN ADOLF HITLER DALAM PERKEMBANGAN SCHUTZSTAFFEL (1925-1945): Suatu Perspektif Psikologi Sosial by Hidayat, Taufik

Link Metadata

EKSISTENSI GEPUK SEBAGAI WARISAN BUDAYA GASTRONOMI DI KOTA BANDUNG by Desy Destyanti, -

Link Metadata

The Palgrave Handbook of Digital Russia Studies

Table of Contents: “…Digital Literature on the Russian-language Internet -- 17. Run Runet Runaway: The Transformation of the Russian Internet as a Cultural-Historical Object -- 18. …”
Link to Metadata

IMPLEMENTASI PROGRAM MOVING CLASS SEBAGAI WAHANA PENGEMBANGAN CIVIC SKILL PADA MATA PELAJARAN PPKn (Studi Kasus Pada Siswa SMP Negeri 34 Bandung) by Pratama, Oky Andiyan

Link Metadata

PENERAPAN VCT (VALUE CLARIFICATION TECHIQUE) ANALISIS LAGU NASIONAL DALAM PEMBELAJARAN PKN UNTUK MENGEMBANGKAN NASIONALISME PESERTA DIDIK : Penelitian Tindakan Kelas Pada Kelas X... by Widaningtias, Dwi

Link Metadata

POSISI PARTAI KEADILAN SEJAHTERA DALAM PANGGUNG PEMILIHAN UMUM DAN PERANANNYA DALAM LEMBAGA LEGISLATIF DPR (1999-2014) by Alkautsar, Desi

Link Metadata

PENGARUH SELF-CONTROL DIET, MOTIVASI BERLATIH WAKTU LUANG, DAN PENGETAHUAN KEBUGARAN TERKAIT KESEHATAN TERHADAP AKTIVITAS JASMANI, SERTA HUBUNGANNYA DENGAN KEBUGARAN KARDIOVASKULAR... by Dinangsit, Dinar

Link Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Alexander Lernet-Holenia und Maria Charlotte Sweceny Briefe 1938-1945 by Dietz, Christopher

DOAB: download the publication
DOAB: description of the publication

Die Wiener Free-Jazz-Avantgarde: Revolution im Hinterzimmer by Felber, Andreas

DOAB: download the publication
DOAB: description of the publication