Search Results - Koerd~

MENINGKATKAN KEMAMPUAN MOTORIK HALUS MELALUI LATIHAN KETERAMPILAN KOLASE DARI BAHAN ALAM PADA ANAK TUNAGRAHITA RINGAN KELAS 1 SLB MANUNGGAL SLAWI by Fitria Mardhiyyah Asa, -

Link Metadata

PENERAPAN MODEL ADDIE PADA PERANCANGAN PERMAINAN ULAR TANGGA DIGITAL BERBASIS BUDAYA MATERI BANGUN DATAR DI SEKOLAH DASAR MENGGUNAKAN ADOBE ANIMATE by Alifira Rizkitania, -

Link Metadata

PERMAINAN ENGKLEK MODIFIKASI DALAM PENINGKATAN KETERAMPILAN FISIK MOTORIK (Penelitian Tindakan pada Anak Usia 4-5 Tahun di TKQ Al-Anshor Kecamatan Lembang Kabupaten Bandung Barat) by Della Asmara Putri, -

Link Metadata

PELAKSANAAN PEMBELAJARAN DARING MELALUI ZOOM MEETING KELAS IV SEKOLAH DASAR by Samsiah, -

Link Metadata

PENERAPAN MODEL PEMBELAJARAN PICTURE AND PICTURES UNTUK MENINGKATKAN HASIL BELAJAR IPA SISWA SEKOLAH DASAR by Lulu Hasna, -

Link Metadata

PENGEMBANGAN MEDIA VIDEO ANIMASI UNTUK MENUMBUHKAN KARAKTER MANDIRI BELAJAR SISWA KELAS II SEKOLAH DASAR by Alisha Trista Imani, -

Link Metadata

PENGEMBANGAN MEDIA PEMBELAJARAN BERBASIS APLIKASI ANDROID FLORA FAUNA NUSANTARA UNTUK MEMOTIVASI BELAJAR SISWA KELAS V by Sekar Ariani Moer Satya Paramecwari, -

Link Metadata

PENGGUNAAN MEDIA ANIMASI UNTUK MENINGKATKANKEMAMPUAN HISTORICAL IMAGINATION SISWA DALAM PEMBELAJARAN SEJARAH (Penelitian Tindakan Kelas di Kelas X IPS 3 SMAN 6 Bandung) by Ali Wahyudi, -

Link Metadata

PENGEMBANGAN BAHAN AJAR BERBASIS PERMAINAN PADA MATERI IPS SUMBER DAYA ALAM UNTUK MENINGKATKAN KEMAMPUAN BERPIKIR KRITIS SISWA KELAS IV SEKOLAH by Devi Fitriyani, -

Link Metadata

PENGARUH IMPLEMENTASI PENDEKATAN MATEMATIKA REALISTIK TERHADAP PENINGKATAN KEMAMPUAN OPERASI HITUNG PERKALIAN PADA PESERTA DIDIK TUNARUNGU by Rastia Ayu Pebiana, -

Link Metadata

RANCANG BANGUN PROTOTIPE SMARTHOME BERBASIS IoT MENGGUNAKAN NODEMCU (ESP8266) by Noval Firdausy, -

Link Metadata

PEMBINAAN PRESTASI OLAHRAGA UNGGULAN DI NPCI KOTA BANDUNG by Yuli Ratna Sari, -

Link Metadata

INTERAKSI SOSIAL PADA REMAJA KECANDUAN GAME ONLINE MOBILE LEGENDS ( Studi Kasus Pada Remaja di Subang ) by Amelia Kurnia Hasan, -

Link Metadata

PENERAPAN RESTORATIVE JUSTICE SEBAGAI UPAYA PERLINDUNGAN ANAK PELAKU TINDAK PIDANA by Wartono, -

Link Metadata

Analyzing meaning An introduction to semantics and pragmatics by Kroeger, Paul

Table of Contents: “…Foundational concepts -- Chapter 1: The meaning of meaning -- Chapter 2: Referring, denoting, and expressing -- Chapter 3: Truth and inference -- Chapter 4: The logic of truth -- II. Word meanings -- Chapter 5: Word senses -- Chapter 6: Lexical sense relations -- Chapter 7: Components of lexical meaning -- III. …”
Access online version

A grammar of Rapa Nui by Kieviet, Paulus

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Phonology -- Chapter 3: Nouns and verbs -- Chapter 4: Closed word classes -- Chapter 5: The noun phrase -- Chapter 6: Possession -- Chapter 7: The verb phrase -- Chapter 8: The verbal clause -- Chapter 9: Nonverbal and copular clauses -- Chapter 10: Mood and negation -- Chapter 11: Combining clauses…”
Access online version

How to Make Notes and Write by Allosso, Dan, Allosso, S.F

Table of Contents: “…Effective Sentences -- 10. Appropriate Words -- 11. Revising -- Revision Checklist -- Exercises…”
Access online version

Digital Entrepreneurship Impact on Business and Society /

Link to Metadata

Implementing Industry 4.0 in SMEs Concepts, Examples and Applications /

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