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

Predicting risk of rupture and rupture‐preventing reinterventions following endovascular abdominal aortic aneurysm repair

British journal of surgery, 2018-09, Vol.105 (10), p.1294-1304

2018

Volltextzugriff (PDF)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

1, 2022

Volltextzugriff (PDF)

Understanding Behaviour of Distributed Systems Using MCRL2

1, 2023

Volltextzugriff (PDF)

Tales of Electrologica: Computers, Software and People

1, 2023

Volltextzugriff (PDF)

The mechanics of setting up a COVID-19 response: Experiences of the COVID-19 epidemic from Groote Schuur Hospital, Cape Town, South Africa

SAMJ: South African Medical Journal, 2020-10, Vol.110 (10), p.968

2020

Volltextzugriff (PDF)

cake_lpr: Verified Propagation Redundancy Checking in CakeML

Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg, 2021, Vol.12652 LNCS, p.223

2021

Volltextzugriff (PDF)

Towards String Support in JayHorn (Competition Contribution)

Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2021, 2021, p.443

2021

Volltextzugriff (PDF)

Deductive Verification of Floating-Point Java Programs in KeY

27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Virtual, Online, 2021, Vol.12652 LNCS, p.242

2021

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

2021

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

2021

Volltextzugriff (PDF)

Place of death in the population dying from diseases indicative of palliative care need: a cross-national population-level study in 14 countries

Journal of epidemiology and community health (1979), 2016-01, Vol.70 (1), p.17-24

2016

Volltextzugriff (PDF)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

2022

Volltextzugriff (PDF)

A Novel Clustering Algorithm for Mobile Ad Hoc Networks Based on Determination of Virtual Links’ Weight to Increase Network Stability

TheScientificWorld, 2014-01, Vol.2014 (2014), p.1-11

2014

Volltextzugriff (PDF)

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings

1993

Volltextzugriff (PDF)

Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, le Croisic, France, June 27-29, 2001 : Proceedings

1, 2001

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

1, 2021

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

1, 2021

Volltextzugriff (PDF)

Logic Gates, Circuits, Processors, Compilers and Computers

1st Edition 2021, 2021

Volltextzugriff (PDF)

Practice update to optimise the performance and interpretation of blood cultures: 2022

SAMJ: South African Medical Journal, 2022-06, Vol.112 (6), p.397-402

2022

Volltextzugriff (PDF)

Incidence of severe critical events in paediatric anaesthesia (APRICOT): a prospective multicentre observational study in 261 hospitals in Europe

The lancet respiratory medicine, 2017-05, Vol.5 (5), p.412-425

2017

Volltextzugriff (PDF)

CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings

1991

Volltextzugriff (PDF)

Actual and preferred place of death of home-dwelling patients in four European countries: making sense of quality indicators

PloS one, 2014-04, Vol.9 (4), p.e93762-e93762

2014

Volltextzugriff (PDF)

Riociguat for the Treatment of Chronic Thromboembolic Pulmonary Hypertension

The New England journal of medicine, 2013-07, Vol.369 (4), p.319-329

2013

Volltextzugriff (PDF)

1 – 25 von 786

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(614)
Mit Volltextzugriff
(733)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(3)

Menü

Weitere Dienste

Einstellungen

Predicting risk of rupture and rupture‐preventing reinterventions following endovascular abdominal aortic aneurysm repair

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Understanding Behaviour of Distributed Systems Using MCRL2

Tales of Electrologica: Computers, Software and People

Visual mapping of team dynamics and communication patterns on surgical ward rounds: an ethnographic study

The mechanics of setting up a COVID-19 response: Experiences of the COVID-19 epidemic from Groote Schuur Hospital, Cape Town, South Africa

cake_lpr: Verified Propagation Redundancy Checking in CakeML

Towards String Support in JayHorn (Competition Contribution)

Deductive Verification of Floating-Point Java Programs in KeY

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Place of death in the population dying from diseases indicative of palliative care need: a cross-national population-level study in 14 countries

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

A Novel Clustering Algorithm for Mobile Ad Hoc Networks Based on Determination of Virtual Links’ Weight to Increase Network Stability

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings

Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, le Croisic, France, June 27-29, 2001 : Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Logic Gates, Circuits, Processors, Compilers and Computers

Practice update to optimise the performance and interpretation of blood cultures: 2022

Salvage Robot-assisted Renal Surgery for Local Recurrence After Surgical Resection or Renal Mass Ablation: Classification, Techniques, and Clinical Outcomes

Incidence of severe critical events in paediatric anaesthesia (APRICOT): a prospective multicentre observational study in 261 hospitals in Europe

CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings

Actual and preferred place of death of home-dwelling patients in four European countries: making sense of quality indicators

Riociguat for the Treatment of Chronic Thromboembolic Pulmonary Hypertension

Suchergebnisse filtern