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...

Investigation of Confounding Factors in Measuring Tissue Saturation with NIRS Spatially Resolved Spectroscopy

Oxygen Transport to Tissue XL, 2018-01, p.307-312

2018

Volltextzugriff (PDF)

Airway Management in Adult Intensive Care Units: A Survey of Two Regions in China

BioMed research international, 2022-11, Vol.2022, p.1-9

2022

Volltextzugriff (PDF)

Nonanatomical Reduction of Femoral Neck Fractures in Young Patients (≤65 Years Old) with Internal Fixation Using Three Parallel Cannulated Screws

BioMed research international, 2021, Vol.2021, p.3069129-12

2021

Volltextzugriff (PDF)

A Selection of Trauma Scores Might Not Correlate with Coagulation Factor Activity following Multiple Injuries: A Retrospective Observational Study from a Level 1 Trauma Center

BioMed research international, 2020, Vol.2020 (2020), p.1-9

2020

Volltextzugriff (PDF)

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

1990

Volltextzugriff (PDF)

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

1994

Volltextzugriff (PDF)

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

1989

Volltextzugriff (PDF)

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

1998

Volltextzugriff (PDF)

Burden of disease in Brazil, 1990–2016: a systematic subnational analysis for the Global Burden of Disease Study 2016

The Lancet (British edition), 2018-09, Vol.392 (10149), p.760-775

2018

Volltextzugriff (PDF)

A DESCRIPTIVE CROSS-SECTIONAL OBSERVATIONAL STUDY ON ASSESSMENT OF PATIENTS KNOWLEDGE, ATTITUDE AND PRACTICE ON HYPERTENSION AT A TERTIARY CARE HOSPITAL

International journal of advanced research (Indore), 2023-02, Vol.11 (2), p.643-651

2023

Volltextzugriff (PDF)

IN-VITRO ANTI-CANCER POTENTIAL OF WHOLE PLANT OFLANTANA CAMARA EXTRACT USING HELA CELLS LINE

International journal of advanced research (Indore), 2023-03, Vol.11 (3), p.597-605

2023

Volltextzugriff (PDF)

Global and regional burden of chronic respiratory disease in 2016 arising from non-infectious airborne occupational exposures: a systematic analysis for the Global Burden of Disease Study 2016

Occupational and environmental medicine (London, England), 2020-03, Vol.77 (3), p.142-150

2020

Volltextzugriff (PDF)

A SYSTEMATIC REVIEW OF SOFTWARE AND RESOURCES AVAILABLE IN THE PHARMACEUTICAL SECTOR

International journal of advanced research (Indore), 2022-12, Vol.10 (12), p.1078-1085

2022

Volltextzugriff (PDF)

Burden of diabetes and hyperglycaemia in adults in the Americas, 1990–2019: a systematic analysis for the Global Burden of Disease Study 2019

The lancet. Diabetes & endocrinology, 2022-09, Vol.10 (9), p.655-667

2022

Volltextzugriff (PDF)

Smallfoot: Modular Automatic Assertion Checking with Separation Logic

Formal Methods for Components and Objects, 2006, p.115-137

2006

Volltextzugriff (PDF)

GSM Based Automatic Monitoring System for Efficient Power Management

International journal of computer trends and technology, 2016-05, Vol.35 (2), p.91-95

2016

Volltextzugriff (PDF)

AN OVERVIEW OF WHITE ROT DISEASE MANAGEMENT IN SMALL ONION

International journal of advanced research (Indore), 2022-11, Vol.10 (11), p.1043-1047

2022

Volltextzugriff (PDF)

Synthesis of nanocrystalline silicon in the system La–Si–H–Cl: thermoanalytical investigations

Thermochimica acta, 2002-01, Vol.382 (1), p.297-301

2002

Volltextzugriff (PDF)

Precipitates and hydrogen passivation at crystal defects in n - and p -type multicrystalline silicon

Journal of applied physics, 2007-11, Vol.102 (9), p.093702-093702-9

2007

Volltextzugriff (PDF)

To Achieve Software Quality Assurance in Brain Tumor Detection Using Artificial Neural Networks

International Journal of Computer Sciences and Engineering, 2017-10, Vol.5 (10), p.118-121

2017

Volltextzugriff (PDF)

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

Formal Methods for Components and Objects, 2006, p.342-363

2006

Volltextzugriff (PDF)

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007 : Revised Lectures

2008 edition, 2008

Volltextzugriff (PDF)

Multiple Viewpoint Contract-Based Specification and Design

Formal Methods for Components and Objects, p.200-225

Volltextzugriff (PDF)

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

2010 edition, 2010

Volltextzugriff (PDF)

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing

Formal Methods for Components and Objects, 2006, p.22-43

2006

Volltextzugriff (PDF)

1 – 25 von 1.372

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(1.018)
Mit Volltextzugriff
(1.145)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(594)
Life Sciences & Biomedicine
(296)
Technology
(229)
Computer Science
(219)
Computer Science, Theory & Methods
(200)
Humans
(185)
Exact Sciences And Technology
(155)
Applied Sciences
(140)
Computer Science; Control Theory; Systems
(138)
Software
(126)
Software Engineering
(106)
Physical Sciences
(94)
Cardiovascular System & Cardiology
(80)
Female
(80)
Computer Science, Software Engineering
(75)
Male
(75)
Cardiac & Cardiovascular Systems
(66)
Meta-Analysis
(58)
Medicine, General & Internal
(55)
General & Internal Medicine
(54)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(6)

Menü

Weitere Dienste

Einstellungen

Investigation of Confounding Factors in Measuring Tissue Saturation with NIRS Spatially Resolved Spectroscopy

Airway Management in Adult Intensive Care Units: A Survey of Two Regions in China

Nonanatomical Reduction of Femoral Neck Fractures in Young Patients (≤65 Years Old) with Internal Fixation Using Three Parallel Cannulated Screws

A Selection of Trauma Scores Might Not Correlate with Coagulation Factor Activity following Multiple Injuries: A Retrospective Observational Study from a Level 1 Trauma Center

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Burden of disease in Brazil, 1990–2016: a systematic subnational analysis for the Global Burden of Disease Study 2016

A DESCRIPTIVE CROSS-SECTIONAL OBSERVATIONAL STUDY ON ASSESSMENT OF PATIENTS KNOWLEDGE, ATTITUDE AND PRACTICE ON HYPERTENSION AT A TERTIARY CARE HOSPITAL

IN-VITRO ANTI-CANCER POTENTIAL OF WHOLE PLANT OFLANTANA CAMARA EXTRACT USING HELA CELLS LINE

Global and regional burden of chronic respiratory disease in 2016 arising from non-infectious airborne occupational exposures: a systematic analysis for the Global Burden of Disease Study 2016

A SYSTEMATIC REVIEW OF SOFTWARE AND RESOURCES AVAILABLE IN THE PHARMACEUTICAL SECTOR

Burden of diabetes and hyperglycaemia in adults in the Americas, 1990–2019: a systematic analysis for the Global Burden of Disease Study 2019

Smallfoot: Modular Automatic Assertion Checking with Separation Logic

GSM Based Automatic Monitoring System for Efficient Power Management

AN OVERVIEW OF WHITE ROT DISEASE MANAGEMENT IN SMALL ONION

Synthesis of nanocrystalline silicon in the system La–Si–H–Cl: thermoanalytical investigations

Precipitates and hydrogen passivation at crystal defects in n - and p -type multicrystalline silicon

To Achieve Software Quality Assurance in Brain Tumor Detection Using Artificial Neural Networks

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007 : Revised Lectures

Multiple Viewpoint Contract-Based Specification and Design

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing

Suchergebnisse filtern