Search Results - "tree"

Inventarisasi Bryophyta Di Kawasan Hutan Pinus Kragilan Kabupaten Magelang Provinsi Jawa Tengah by Endarwati, Eli, , Efri Roziaty, S. Si., M. Si

Connect to this object online

ANALISIS FILOGENETIKA TANAMAN TIMUN APEL BERBASIS METODE RAPD MENGGUNAKAN PRIMER OPA 12 DAN OPA 18 by Nur Meida Tri Rezeki, Meida

Link Metadata

PENERAPAN ALGORITMA C4.5 UNTUK PREDIKSI EFEKTIVITAS PEMBELAJARAN DARING SELAMA MASA PANDEMI COVID-19 PADA SISWA SMA NEGERI KOTA BEKASI by Bari Anandanu WIbowo,

Link Metadata

ANALISA PROSES PRODUKSI KAIN SARUNG DI PT. P DENGAN MELAKUKAN PENDEKATAN LEAN MANUFACTURING by Ariq Rifqi Zaini,

Link Metadata

ANALISIS KETERLAMBATAN PERAWATAN SHAFT PROPELLER DENGAN METODE FTA DAN FMEA by Adrian Diko Ananto,

Link Metadata

IMPLEMENTASI PENERAPAN LEAN MANUFACTURING UNTUK MENGURANGI WASTE PADA PROSES PRODUKSI KERTAS GELOMBANG PT.XYZ by Almer Muhammad Raihan,

Link Metadata

PENINGKATAN KUALITAS PRODUK CACAH PLASTIK DENGAN MENGGUNAKAN METODE PENDEKATAN QCC (QUALITY CONTROL CIRCLE) PADA PT. HANGLEKIU PLASTIK ABADI by Daffa Raihan Dharmawan,

Link Metadata

ANALISIS DEFECT PRODUCT DENGAN QUALITY CONTROL CIRCLE TERHADAP PROSES PRODUKSI MASKER DI PT. XYZ by Pagar Bagus Akbar,

Link Metadata

IMPLEMENTASI FP-GROWTH PADA PERUSAHAAN BERSKEMA MULTI-LEVEL MARKETING UNTUK MENINGKATKAN STRATEGI PENJUALAN by Laksmi Devy Kusuma Wardhani, -

Link Metadata

問世間「生涯」為何物？臺灣大學生生涯概念原型分析研究 What Do You Mean When You Think of Career? A Prototype Analysis of the Conception of Career Among Taiwanese College Students... by 王秀槐 Hsiu-Huai Wang, 陳珍德 Jen-De Chen

Connect to this object online.

Climate-Smart Food by Reay, Dave

Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Theory and Practice of Sociosensitive and Socioactive Systems by Bellon, Jacqueline, Eyssel, Friederike, Gransche, Bruno, Nähr-Wagener, Sebastian, Wullenkord, Ricarda

Table of Contents: “…Voices from 90 years of research -- The FASA model -- Social appropriateness tree structures -- Application of the FASA model to technical systems -- Reflections on sociosensitive and socioactive technology -- Glossary.…”
Link to Metadata

Paradise Blues Travels through American Environmental History by Mauch, Christof

DOAB: download the publication
DOAB: description of the publication

Pastoralism and Socio-technological Transformations in Northern Benin Fulani Innovations in Pastoral Migration, Livelihood Diversification and Professional Association by Djohy, Georges

DOAB: download the publication
DOAB: description of the publication

Chapter 7 He that Hath an Ill-Name Is Half-Hanged: The Anatomical Legacy of the Criminal Corpse Staging Post-Execution Punishment in Early Modern England by T. Hurren, Elizabeth

DOAB: download the publication
DOAB: description of the publication

Pastoralism and Socio-technological Transformations in Northern Benin - Fulani Innovations in Pastoral Migration, Livelihood Diversification and Professional Association by Djohy, Georges

DOAB: download the publication
DOAB: description of the publication

Charles Plumier (1646-1704) and His Drawings of French and Caribbean Fishes by Theodore Wells Pietsch

DOAB: download the publication
DOAB: description of the publication

Integrated Role of Nutrition and Physical Activity for Lifelong Health by Koehler, Karsten

DOAB: download the publication
DOAB: description of the publication

Adaptive Collaborative Management in Forest Landscapes Villagers, Bureaucrats and Civil Society

DOAB: download the publication
DOAB: description of the publication