UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Molluscicidal and cercaricidal activities of curcumin on Biomphalaria glabrata and Schistosoma mansoni cercariae

Pest management science, 2020-04, Vol.76 (4), p.1228-1234

2020

Volltextzugriff (PDF)

Internal markers for predicting dry matter intake and digestibility in Santa Inês ewes on a pasture

Grassland science, 2019-04, Vol.65 (2), p.75-85

2019

Volltextzugriff (PDF)

FBG-Based Inclinometer for Landslide Monitoring in Tailings Dams

IEEE sensors journal, 2021-08, Vol.21 (15), p.16670-16680

2021

Volltextzugriff (PDF)

Mechanical and Microstructural Performance Evaluation of Diffusion Bonded Alloy 800H for Very High Temperature Nuclear Service

Journal of engineering materials and technology, 2022-04, Vol.144 (2)

2022

Volltextzugriff (PDF)

DO PROTOCOLO DE KYOTO AO ACORDO DE PARIS - DOI: 10.12818/P.0304-2340.2021v78p469

Revista da Faculdade de Direito (Belo Horizonte, Brazil), 2021-12 (78)

Scovazzi, Tullio

2021

Volltextzugriff (PDF)

DEMOCRACIA E SOBERANIA: REPENSANDO A LEGITIMIDADE DO DIREITO INTERNACIONAL PÚBLICO - DOI: 10.12818/P.0304-2340.2023v83p519

Revista da Faculdade de Direito (Belo Horizonte, Brazil), 2024-04 (83)

Lagrange, Evelyne

2024

Volltextzugriff (PDF)

The Xpert MTB/RIF Cycle Threshold Value Predicts Mycobacterium tuberculosis Transmission to Close Contacts in a Brazilian Prospective Multicenter Cohort

Clinical infectious diseases, 2024-01

2024

Volltextzugriff (PDF)

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

2022

Volltextzugriff (PDF)

Automatic Generation of Verified Concurrent Hardware Using VHDL

Formal Methods: Foundations and Applications, p.55-72

Volltextzugriff (PDF)

Level-Up - From Bits to Words

Formal Methods: Foundations and Applications, p.124-142

Volltextzugriff (PDF)

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching

Formal Methods: Foundations and Applications, p.39-54

Volltextzugriff (PDF)

An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata

Formal Methods: Foundations and Applications, p.3-21

Volltextzugriff (PDF)

Synthesis of Implementations for Divide-and-Conquer Specifications

Formal Methods: Foundations and Applications, p.73-88

Volltextzugriff (PDF)

Formalization of Functional Block Diagrams Using HOL Theorem Proving

Formal Methods: Foundations and Applications, p.22-35

Volltextzugriff (PDF)

Study protocol to assess the effectiveness and safety of a flexible family visitation model for delirium prevention in adult intensive care units: a cluster-randomised, crossover trial (The ICU Visits Study)

BMJ open, 2018-04, Vol.8 (4), p.e021193-e021193

2018

Volltextzugriff (PDF)

Low temperature specifications for asphalt binders: tests and simulation

Transportes (Rio de Janeiro), 2011-11, Vol.19 (2), p.7

2011

Volltextzugriff (PDF)