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

On the Feasibility of Designing a Small-Sized X-Ray Calorimetric Dosimeter Using a Thermopile Temperature Sensor

IEEE transactions on nuclear science, 2024-05, Vol.71 (5), p.1245-1249

2024

Volltextzugriff (PDF)

Structural changes during vapor-phase deposition of polycrystalline-PbI2 films

Journal of crystal growth, 2008-06, Vol.310 (13), p.3168-3173

2008

Volltextzugriff (PDF)

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

Lecture notes in computer science, 2005, p.365-381

2005

Volltextzugriff (PDF)

Reviewing Polycrystalline Mercuric Iodide X-Ray Detectors

IEEE transactions on nuclear science, 2006-08, Vol.53 (4), p.2385-2391

2006

Volltextzugriff (PDF)

Thrombectomy for Stroke at 6 to 16 Hours with Selection by Perfusion Imaging

The New England journal of medicine, 2018-02, Vol.378 (8), p.708-718

2018

Volltextzugriff (PDF)

Examining Memory for Pain Intensity: Potential Moderators of Discrepancy between Daily Diary and Retrospective Reports of Pain

The journal of pain, 2024-04, Vol.25 (4), p.54-54

2024

Volltextzugriff (PDF)

SATABS: SAT-Based Predicate Abstraction for ANSI-C

Lecture notes in computer science, 2005, p.570-574

2005

Volltextzugriff (PDF)

Trial of Amitriptyline, Topiramate, and Placebo for Pediatric Migraine

The New England journal of medicine, 2017-01, Vol.376 (2), p.115-124

2017

Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

2003

Volltextzugriff (PDF)

Mining Temporal Specifications for Error Detection

Tools and Algorithms for the Construction and Analysis of Systems, p.461-476

Volltextzugriff (PDF)

Monte Carlo Model Checking

Lecture notes in computer science, 2005, p.271-286

2005

Volltextzugriff (PDF)

Thick films of X-ray polycrystalline mercuric iodide detectors

Journal of crystal growth, 2001-05, Vol.225 (2-4), p.118-123

2001

Volltextzugriff (PDF)

Java-MOP: A Monitoring Oriented Programming Environment for Java

Lecture notes in computer science, 2005, p.546-550

2005

Volltextzugriff (PDF)

Applications of Craig Interpolants in Model Checking

Lecture notes in computer science, 2005, p.1-12

2005

Volltextzugriff (PDF)

Multicultural education: A challenge for teachers

1, 2019

Volltextzugriff (PDF)

A Note on On-the-Fly Verification Algorithms

Lecture notes in computer science, 2005, p.174-190

2005

Volltextzugriff (PDF)

On the Expressiveness of 3-Valued Models

Lecture notes in computer science, 2003, p.206-222

2003

Volltextzugriff (PDF)

An Exploration of Genetic Test Utilization, Genetic Counseling, and Consanguinity within the Inborn Errors of Metabolism Collaborative (IBEMC)

Journal of genetic counseling, 2017-12, Vol.26 (6), p.1238-1243

2017

Volltextzugriff (PDF)

Abstract Interpretation of Cellular Signalling Networks

Verification, Model Checking, and Abstract Interpretation, p.83-97

Volltextzugriff (PDF)

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

Lecture notes in computer science, 2005, p.581-585

2005

Volltextzugriff (PDF)

Diagnostic Information for Realizability

Verification, Model Checking, and Abstract Interpretation, p.52-67

Volltextzugriff (PDF)

Temporal Logic for Scenario-Based Specifications

Lecture notes in computer science, 2005, p.445-460

2005

Volltextzugriff (PDF)

Theoretical and experimental sensitivity to X-rays of single and polycrystalline HgI2 compared with different single-crystal detectors

Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 2001-02, Vol.458 (1-2), p.41-46