Rodin-Lekturen Deutungen und Debatten von der Moderne zur Postmoderne by Brabant, Dominik

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

GERAK TARI DALAM PEMENTASAN TEATER "DUNIA SEOLAH-OLAH" by Purawinata, Muhammad Sururri

Link Metadata

PENGEMBANGAN PROTOTYPE MODUL PEMBELAJARAN BERBASIS INTERTEKSTUAL PADA MATERI LARUTAN PENYANGGA UNTUK MENINGKATKAN PENGUASAAN KONSEP PESERTA DIDIK by Moh. Arif Abdul Gofur, -

Link Metadata

PENERAPAN MODIFIKASI PEMBELAJARAN UNTUK MENGEMBANGKAN HASIL BELAJAR AKTIVITAS PERMAINAN TENIS MEJA by Romi Pebriana, -

Link Metadata

MENINGKATKAN KEMAMPUAN MENGENAL KONSEP BILANGAN MELALUI PENDEKATAN INVESTIGASI : Penelitian Tindakan Kelas pada Anak-Anak Kelompok A Taman Kanak-Kanak Negeri Pembina Sadang Serang... by Warianti, Nadia

Link Metadata

IDENTIFIKASI MISKONSEPSI DAN PENYEBAB MISKONSEPSI PADA SISWA SMA MENGGUNAKAN INSTRUMEN FIVE-TIER NEWTON'S LAWS TEST (5TNLT) by Imas Rosita, -

Link Metadata

PENAGRUH LINGKUNGAN FISIK (SERVICESCAPE) TERHADAP KEPUTUSAN BERKUNJUNG KONSUMEN PADA PUSAT PERBELANJAAN MODERN BRAGA CITY WALK BANDUNG by Nurul Aini, -

Link Metadata

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

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

Table of Contents: “…Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.…”
Link to Metadata

Interferometry and Synthesis in Radio Astronomy by Thompson, A. Richard, Moran, James M., Swenson Jr., George W.

Table of Contents: “…Preface -- Introduction and Historical Review -- Introductory Theory of Interferometry and Synthesis Imaging -- Analysis of the Interferometer Response -- Geometric Relationships and Polarimetry -- Antennas and Arrays -- Response of the Receiving System -- Design of the Analog Receiving System -- Digital Signal Processing -- Very-Long-Baseline Interferometry -- Calibration and Fourier Transformation of Visibility Data -- Deconvolution, Adaptive Calibration and Applications -- Interferometer Techniques for Astrometry and Geodesy -- Propagation Effects -- Van Cittert-Zernike Theorem, Spatial Coherence and Scattering -- Radio Interference -- Related Techniques -- Principal Symbols -- Index.…”
Link to Metadata

An Introduction to Matlab and Mathcad by Siemers, Troy

Table of Contents: “…1 Matlab: Introduction -- 2 Matlab: Matrices -- 3 Matlab: Functions -- 4 Matlab: Graphics -- 5 Matlab: User Defined Functions -- 6 Matlab: Input/Output -- 7 Matlab: Programming Structures -- 8 Matlab: Applications -- 9 Matlab: Curve Fitting -- 10 Matcad: Introduction -- 11 Mathcad: Entering Equations -- 12 Mathcad: Given/Find and Solve -- 13 Mathcad: Functions -- 14 Mathcad: Matrices -- 15 Mathcad: Graphing -- 16 Mathcad: Curve Fitting -- 17 Mathcad: Calculus and Symbolics…”
Access online version

Manajemen Keuangan Sekolah (Studi Kasus di SDIT Luqman Al Hakim Surakarta Tahun Pelajaran 2010/2011) by Andikusumo, Surya

Connect to this object online

PENGEMBANGAN MAGNETIC CARD SEBAGAI MEDIA PENGENALAN SIMBOL HURUF UNTUK ANAK USIA 6 - 7 TAHUN(Penelitian Educational Design Research pada Anak Usia 6 - 7 Tahun) by Nabilla Nurazizah, -

Link Metadata

SISTEM PENGETAHUAN MASYARAKAT MANGGARAI TENTANG MAKNA ARSITEKTUR MBARU GENDANG DI MANGGARAI (TINJAUAN VISUAL DAN FILOSOFI ARTEFAK RUMAH ADAT DI MANGGARAI) by Pranamantara, Efraim Jehane

Link Metadata

KAJIAN ETNOKOREOLOGI TARI KEDIDI DI DESA MENDO KECAMATAN MENDO BARAT KABUPATEN BANGKA by Fadhilla, Sardha

Link Metadata

PENERAPAN MEDIA PEMBELAJARAN BERBANTUAN KOMPUTER UNTUK MENINGKATKAN HASIL BELAJAR SISWA PADA MATA PELAJARAN PNEUMATIK DAN HIDROLIK DI SMK AL - FALAH BANDUNG by Herlina, Lina

Link Metadata

METODE CONSTANT PERCENT OF SALARY DALAM MENENTUKAN BENEFIT DAN IURAN NORMAL PROGRAM PENSIUN NORMAL DAN PROGRAM PENSIUN DIPERCEPAT DAN APLIKASI MICROSOFT EXCEL by Achmad, Puteri Ressiana Dewi

Link Metadata

AJÉN ÉSTÉTIKA DINA UPACARA ADAT NGABUNGBANG DI DESA BATU LAWANG KACAMATAN PATARUMAN KOTA BANJAR PIKEUN BAHAN PANGAJARAN MACA ARTIKEL DI SMA by Ksatria, Oka Gilang

Link Metadata

METODE CONSTANT PERCENT OF SALARY DALAM MENENTUKAN BENEFIT DAN IURAN NORMAL PROGRAM PENSIUN NORMAL DAN PROGRAM PENSIUN DIPERCEPAT DAN APLIKASI MICROSOFT EXCEL by Achmad, Puteri Ressiana Dewi

Link Metadata

KONSTRUKSI MAKNA FASHION DALAM PEMBENTUKAN IDENTITAS : studi fenomenologi pada anggota komunitas purnaroots bandung by Ardiansyah, Okky

Link Metadata