MENINGKATKAN KEMAMPUAN BERHITUNG AWAL ANAK USIA DINI MELALUI PENERAPAN PERMAINAN ENGKLEK : Penelitian Tindakan Kelas di Taman Kanak-kanak Negeri Centeh Bandung Kelas A by Dita Herawati, -

Link Metadata

KARAKTER TOKOH DAYANG SUMBI SEBAGAI GAGASAN BERKARYA DRAWING by Osi Priatna, -

Link Metadata

TRANSFORMASI NILAI KEARIFAN LOKAL KAWIN BAJAPUIK PADA PERKAWINAN MASYARAKAT MINANGKABAU PARIAMAN : Studi Kasus Nagari Lubuk Alung Kecamatan Lubuk Alung Kabupaten Padang Pariaman by Rani, Kartika

Link Metadata

TANDA DAN MAKNA DALAM SENI GAMBAR ISA PERKASA: Analisis Semiotik Barthes terhadap Seni Gambar "Seragam yang Diingatkan" Isa Perkasa by Rifaldi Efriansyah, -

Link Metadata

KEARIFAN LOKAL MASYARAKAT PEKON PAHMUNGAN DALAM PELESTARIAN REPONG DAMMAR DI KAWASAN PENYANGGA TAMAN NASIONAL BUKIT BARISAN SELATAN (TNBBS) by Winarti, Ayu

Link Metadata

Naskah Drama "Wanci" karyaAyi G. Sasmita pikeun Bahan Pangajaran Aprésiasi Drama di SMA kelas XII (Ulikan Struktural-Semiotik) by Arifa Rachmani, -

Link Metadata

MODAL SOSIAL DAN PROSPEK SUMBER DAYA BUDAYA MASYARAKAT TERHADAP EKSISTENSI DESA UMPUNGENG KABUPATEN SOPPENG by Muhammad Idris, -

Link Metadata

ANALISIS KEBUTUHAN MATERI KIMIA UNTUK SISWA SMK KOMPETENSI KEAHLIAN AGRIBISNIS TANAMAN PANGAN DAN HORTIKULTURA by Hera Herlina, -

Link Metadata

PENERAPAN JOYFUL LEARNING PADA PEMBELAJARAN JARAK JAUH UNTUK MENINGKATKAN MOTIVASI BELAJAR DAN PEMAHAMAN MATERI MITIGASI BENCANA (Penelitian Tindakan Kelas Pada Siswa Kelas XI IPS... by Isma Yullia Rahma, -

Link Metadata

MENGATASI KESALAHAN PENULISAN BILANGAN DUA DIGIT PADA SISWA KELAS II SEKOLAH DASAR DENGAN MEDIA PUZZLE ANGKA by Hesti Zulianti, -

Link Metadata

PENYELARASAN ELEMEN KURIKULUM KIMIA PADA SMK KOMPETENSI KEAHLIAN KIMIA ANALISIS by Ismi Maulidza, -

Link Metadata

PENGEMBANGAN MEDIA PAPAN ANGKA BERPASANGAN UNTUK MEMFASILITASI KEMAMPUAN MENGENAL LAMBANG BILANGAN PADA ANAK USIA 4-5 TAHUN by Een Enita, _

Link Metadata

PENGEMBANGAN BAHAN AJAR MODUL DIGITALMENYIMAK KRITIS BERANCANGAN KERANGKA KERJA SISTEMATIS, AKTIF, KONTEKSTUAL, TEKNOLOGIKAL, INTEGRATIF (SAKTI) UNTUK PERGURUAN TINGGI by Nafri Yanti, -

Link Metadata

A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions by Marichal, Jean-Luc, Zenaïdi, Naïm

Table of Contents: “…Preface -- List of main symbols -- Table of contents -- Chapter 1. Introduction -- Chapter 2. …”
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

Buddha in Beton Eine buddhologische Kritik der neuen Wege des japanischen Tempelbaus by Gerlach, Jonas

DOAB: download the publication
DOAB: description of the publication

Buddha in Beton Eine buddhologische Kritik der neuen Wege des japanischen Tempelbaus by Gerlach, Jonas

OAPEN Library: download the publication
OAPEN Library: description of the publication

KAJIAN MAKNA PERIBAHASA JEPANG YANG TERBENTUK DARI KATA HANA by Ramon, Dwi Irani

Link Metadata

Tradisi Ngaruat Jagat Di Désa Situraja Kecamatan Situraja Kabupatén Sumedang : ulikan semiotik by Pradja, Wahyudi Eka

Link Metadata

KAJIAN STRUKTUR JEUNG AJÉN SOSIAL KANA RUMPAKA LAGU POP SUNDA KARYA DOEL SUMBANG by Anwari, Rizky Prasasti

Link Metadata