Search Results - "Density"

Perilaku Kuat Tekan dan Kuat Lentur Dinding Pasangan Batu Bata Dengan Perkuatan Diagonal Tulangan Bambu by nugroho, muhamad aditya dwi, , Muhammad Ujianto, S.T., M.T, , Yenny Nurchasanah, S.T., M.T

Connect to this object online

Analisis Stabilitas Lereng Dengan Dinding Penahan Tanah Kantilever Menggunakan Program Plaxis (Studi Kasus Jalan Piyungan-Batas Gunung Kidul, Yogyakarta) by Rinanditya, Ramadhani Fajar, , Ir. Renaningsih, MT, , Anto Budi Listyawan, ST., MSc

Connect to this object online

Analisis Karakteristik Fisik Dan Mekanik Self Compacting Concrete (Scc)Dengan Pemanfaatan Limbah Tetes Tebu (Molase) by Kusuma, Permadi Jati, , Basuki, S.T, M.T

Connect to this object online

Comparison Analysis Of Foamed Asphalt Mixture Using Reclaimed Asphalt Pavement Compacted By Slab Roller And Marshall Hammer by Widyadara, Mega, , Ir. Sri Sunarjono,,MT. PhD

Connect to this object online

Gambaran Profil Penderita Tuberkulosis Paru Di Rsup Dr Soeradji Tirtonegoro Klaten by Nuraini, Fitri, , Endang Zulaicha Susilaningsih, S.Kp., M.Kep

Connect to this object online

IMPLEMENTASI ALGORITMA MULTIPLE LINEAR REGRESSION UNTUK ANALISIS HUBUNGAN POLUSI CAHAYA DENGAN PERKEMBANGAN EKONOMI DAN INFRASTRUKTUR PERKOTAAN by Fajar Zuliansyah Trihutama, -

Link Metadata

PENGARUH PEKTIN BUAH SIRSAK (Annona muricata L.) TERHADAP PERBAIKAN KADAR LIPID SERUM DARAH MENCIT (Mus musculus L.) SWISS WEBSTER JANTAN HIPERLIPIDEMIA by Maulasari, Radita

Link Metadata

DESAIN DIDAKTIS PEMBELAJARAN KONSEP TEKANAN ZAT CAIR BERDASARKAN ANALISIS HAMBATAN BELAJAR SISWA KELAS VIII SMP by Lestari, Kartika Mega

Link Metadata

BOOSTED REGRESSION TREES by Wulan Dian Pramiesti, -

Link Metadata

ANALISIS EKSPRESI GEN BAX SEBAGAI PRO-APOPTOSIS PADA KULTUR SEL PUNCA ADIPOSA MESENKIMAL DENGAN PENAMBAHAN MADU (Tetragonula sp.) DAN ROYAL JELLY (Apis mellifera) by Nabila Nur Izzati,

Link Metadata

Hábitos alimentares, infecção natural e distribuição de triotomíneos domiciliados na região nordeste do Brasil Feeding habits, natural infection and distribution of domicili... by Oswaldo Paulo Forattini, José Maria Soares Barata, Jair Lício Ferreira Santos, Antônio Carlos Silveira

Connect to this object online.

Особенности осморегулирующей функции почек у больных с сахарным диабетом 1 типа = Features of the renal osmoregulatory function in patients with type 1 diabetes... by E. S. Kuznetsova, E. N. Kuznetsova, V. V. Shuhtin, A. I. Gozhenko

Connect to this object online.

Вплив поліморфізма rs1137101 гена рецептора лептина на розвиток цукрового діабету 2 типу та ожиріння у таких хворих = Influence of polymorphism rs1137101 of the leptin receptor gen... by S. V. Ziablitsev, V. I. Pankiv, T. Y. Yuzvenko

Connect to this object online.

Особенности осморегулирующей функции почек у больных с сахарным диабетом 1 типа = Features of the renal osmoregulatory function in patients with type 1 diabetes... by E. S. Kuznetsova, E. N. Kuznetsova, V. V. Shuhtin, A. I. Gozhenko

Connect to this object online.

Вплив поліморфізма rs1137101 гена рецептора лептина на розвиток цукрового діабету 2 типу та ожиріння у таких хворих = Influence of polymorphism rs1137101 of the leptin receptor gen... by S. V. Ziablitsev, V. I. Pankiv, T. Y. Yuzvenko

Connect to this object online.

The effect of manganese on virulence gene expression in streptococcus mutans by Pratanporn Arirachakaran

Connect to this object online.

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Textbook on Scar Management State of the Art Management and Emerging Technologies /

Link to Metadata

Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications / by Tomlinson, Martin, Tjhai, Cen Jung, Ambroze, Marcel A., Ahmed, Mohammed, Jibril, Mubarak

Link to Metadata

La ville compacte remise en cause ? Formes urbaines et mobilités de loisirs by Munafò, Sébastien

DOAB: download the publication
DOAB: description of the publication