PENGEMBANGAN MEDIA INFOGRAFIS DI PLATFORM INSTAGRAM DALAM MATA PELAJARAN PENDIDIKAN JASMANI OLAHRAGA DAN KESEHATAN DI SEKOLAH MENENGAH ATAS (Studi desain dan pengembangan di SMAN 1... by Dicky Surya Darmansyah, -

Link Metadata

PENGARUH MULTIMODEL COGNITIVE TRAINING TERHADAP PENINGKATAN DECISION-MAKING ATLET PADA CABANG OLAHRAGA KATEGORI OPEN-SKILL by Noor Fatimah Indah Sari, -

Link Metadata

EVALUASI PENYELENGGARAAN PEKAN OLAHRAGA NASIONAL (PON) PADA ERA REFORMASI (2000-2020) by Panji Rinaldi Putra, -

Link Metadata

Korelasi Antara Aktivitas Belajar Panahan Dengan Konsep Diri Siswa by Muhammad Rezza Archery Amien, -

Link Metadata

"STRATEGI ORANG TUA DALAM PEMBIASAAN PERILAKU HIDUP BERSIH DAN SEHAT (PHBS) ANAK USIA DINI PADA MASA PANDEMI COVID-19 by Aisah Karunia Rahayu, -

Link Metadata

PERMAINAN FLASHCARD MODIFIKASI UNTUK MENINGKATKAN KEMAMPUAN KEAKSARAAN AWAL ANAK USIA DINI: Penelitian Tindakan Kelas Terhadap Anak Usia 6 Tahun by Eka Oktapiani Putri Durahman, -

Link Metadata

PENGARUH MEDIA BERUBAH TERHADAP KETEPATAN SHOOTING DALAM PERMAINAN SEPAK BOLA by Achmad Tri Choeri Mukti, -

Link Metadata

KONTRIBUSI POWER TUNGKAI, POWER LENGAN DAN KOORDINASI MATA-TANGAN TERHADAP KECEPATAN DAN KETEPATAN KEMAMPUAN SMASH DALAM PERMAINAN BOLA VOLI by Anggit Nurfaiz, -

Link Metadata

PENGARUH POWER TUNGKAI TERHADAP KECEPATAN LARI SERTA KOORDINASI MATA DAN KAKI TERHADAP AKURASI TENDANGAN PADA ATLET SEPAKBOLA by Muhammad Irsyad Abdul Fattah, -

Link Metadata

PERKEMBANGAN MULTIPLE INTELLIGENCES SISWA SD DENGAN MODIFIKASI BOLA DAN LAPANGAN PADA PEMBELAJARAN TENIS MEJA by Mia Alfina Febrianti, -

Link Metadata

MENTAL IMAGERY: COMPETITIVE ANXIETY CONTROL PADA ATLIT KUMITE CABANG OLAHRAGA KARATE by Herdiansyah, -

Link Metadata

EFEKTIVITAS PENGGUNAAN PENDEKATAN PEMBELAJARAN CONTEXTUAL TEACHING AND LEARNING (CTL) PADA KOMPETENSI DASAR MEMILIH JENIS PENGGANDAAN DOKUMEN YANG SESUAI KELAS XI PROGRAM KEAHLIAN... by Merlinda Marleen, -

Link Metadata

PENGARUH PENGGUNAAN MAKROMEDIA FLASH DALAM PEMBELAJARAN MANDIRI KOSAKATA BAHASA JEPANG by Ahmad Sumantri Daud, -

Link Metadata

PENGARUH TERPAAN IKLAN TVC TOKOPEDIA VERSI "SEMUA DIMULAI DARI TOKOPEDIA" TERHADAP PERILAKU KONSUMTIF (Survei pada Warga di Kecamatan Pasar Minggu) by Rahadyan Maharddhika, -

Link Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Link to 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: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Essentials of Exercise and Sport Psychology An Open Access Textbook

Table of Contents: “…Taking the Field: An Introduction to the Field of Sport Psychology -- Chapter 20. Get Your Head in the Game: Examining the Use of Psychological Skills in Sport -- Chapter 21. …”
Access online version

I rapporti fra città e campagna allo specchio della normativa statutaria un confronto fra lo Stato della Chiesa, la Toscana e l'Abruzzo (secoli XII-XVI)

DOAB: download the publication
DOAB: description of the publication

Pengaruh Pemberian Plyometric Exercise terhadap Peningkatan Kelincahan pada Pemain Bola di SSB Krida di Boyolali by Putra, Guntur Rusmana, , Totok Budi Santoso , S.Fis , MPH, , Yulisna Mutia Sari, SSt.FT., M.Sc ()

Connect to this object online

PENGARUH PERMAINAN LEMPAR TANGKAP TERHADAP PERKEMBANGAN MOTORIK KASAR SISWA KELAS V SEKOLAH DASAR by Widia Tri Anisa, -

Link Metadata