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

Comprehensive effects of supplemented essential amino acids in patients with severe COPD and sarcopenia

Monaldi archives for chest disease, 2010-03, Vol.73 (1), p.25-33

2010

Volltextzugriff (PDF)

Inflammatory cells and mediators in bronchial lavage of patients with chronic obstructive pulmonary disease

The European respiratory journal, 1998-08, Vol.12 (2), p.380-386

1998

Volltextzugriff (PDF)

Time, Space, Matter in Translation

1, 2023

Volltextzugriff (PDF)

Language and Translation in Postcolonial Literatures: Multilingual Contexts, Translational Texts

Bertacco, Simona

1, 2014

Volltextzugriff (PDF)

The prevalence of nasal polyps and the corresponding urinary LTE4 levels in severe compared to mild and moderate asthma

European annals of allergy and clinical immunology, 2010-06, Vol.42 (3), p.120

2010

Volltextzugriff (PDF)

SPIN as a Linearizability Checker under Weak Memory Models

Hardware and Software: Verification and Testing, p.311-326

Volltextzugriff (PDF)

Neutrophils infiltrating bronchial epithelium in chronic obstructive pulmonary disease

Respiratory medicine, 1998-06, Vol.92 (6), p.863-870

1998

Volltextzugriff (PDF)

Single large hepatocellular carcinoma > 5 cm with surgical indication: is it mandatory a major hepatectomy? a propensity-score weighted analysis

Langenbeck's archives of surgery, 2024-08, Vol.409 (1), p.248, Article 248

2024

Volltextzugriff (PDF)

PASS: String Solving with Parameterized Array and Interval Automaton

Hardware and Software: Verification and Testing, p.15-31

Volltextzugriff (PDF)

Survival benefit of second line therapies for recurrent hepatocellular carcinoma: repeated hepatectomy, thermoablation and second-line transplant referral in a real life national scenario

HPB (Oxford, England), 2023-10, Vol.25 (10), p.1223-1234

2023

Volltextzugriff (PDF)

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2013, 2013

Volltextzugriff (PDF)

Modbat: A Model-Based API Tester for Event-Driven Systems

Hardware and Software: Verification and Testing, p.112-128

Volltextzugriff (PDF)

Specific immunotherapy downregulates peripheral blood CD4 and CD8 T-lymphocyte activation in grass pollen-sensitive asthma

The European respiratory journal, 1998-06, Vol.11 (6), p.1263-1267

1998

Volltextzugriff (PDF)

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking

Hardware and Software: Verification and Testing, p.344-358

Volltextzugriff (PDF)

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2013

Volltextzugriff (PDF)

Domain Types: Abstract-Domain Selection Based on Variable Usage

Hardware and Software: Verification and Testing, p.262-278

Volltextzugriff (PDF)

Predominant TH1 cytokine pattern in peripheral blood from subjects with chronic obstructive pulmonary disease

Journal of allergy and clinical immunology, 1999-03, Vol.103 (3), p.458-462

1999

Volltextzugriff (PDF)

Predominant T H1 cytokine pattern in peripheral blood from subjects with chronic obstructive pulmonary disease

Journal of allergy and clinical immunology, 1999-03, Vol.103 (3), p.458-462

1999

Volltextzugriff (PDF)

Speeding Up the Safety Verification of Programmable Logic Controller Code

Hardware and Software: Verification and Testing, p.44-60

Volltextzugriff (PDF)

Formal Specification of an Erase Block Management Layer for Flash Memory

Hardware and Software: Verification and Testing, p.214-229

Volltextzugriff (PDF)

Increasing Confidence in Liveness Model Checking Results with Proofs

Hardware and Software: Verification and Testing, p.32-43

Volltextzugriff (PDF)

Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming

Hardware and Software: Verification and Testing, p.246-261

Volltextzugriff (PDF)

Efficient Analysis of Reliability Architectures via Predicate Abstraction

Hardware and Software: Verification and Testing, p.279-294

Volltextzugriff (PDF)

Arithmetic Bit-Level Verification Using Network Flow Model

Hardware and Software: Verification and Testing, p.327-343

Volltextzugriff (PDF)

Modeling Firmware as Service Functions and Its Application to Test Generation

Hardware and Software: Verification and Testing, p.61-77

Volltextzugriff (PDF)

1 – 25 von 740

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(423)
Mit Volltextzugriff
(672)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(376)
Technology
(243)
Physical Sciences
(152)
Physics
(138)
Engineering
(135)
Engineering, Electrical & Electronic
(128)
Computer Science
(115)
Physics, Applied
(93)
Computer Science, Hardware & Architecture
(82)
Life Sciences & Biomedicine
(78)
Materials Science
(75)
Hardware
(65)
Materials Science, Multidisciplinary
(61)
Physics, Condensed Matter
(60)
Computer Bugs
(44)
Chemistry
(43)
Humans
(43)
Exact Sciences And Technology
(41)
Science & Technology - Other Topics
(36)
Silicon
(35)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(8)

Menü

Weitere Dienste

Einstellungen

Comprehensive effects of supplemented essential amino acids in patients with severe COPD and sarcopenia

Inflammatory cells and mediators in bronchial lavage of patients with chronic obstructive pulmonary disease

Time, Space, Matter in Translation

Language and Translation in Postcolonial Literatures: Multilingual Contexts, Translational Texts

The prevalence of nasal polyps and the corresponding urinary LTE4 levels in severe compared to mild and moderate asthma

SPIN as a Linearizability Checker under Weak Memory Models

Neutrophils infiltrating bronchial epithelium in chronic obstructive pulmonary disease

Single large hepatocellular carcinoma > 5 cm with surgical indication: is it mandatory a major hepatectomy? a propensity-score weighted analysis

PASS: String Solving with Parameterized Array and Interval Automaton

Survival benefit of second line therapies for recurrent hepatocellular carcinoma: repeated hepatectomy, thermoablation and second-line transplant referral in a real life national scenario

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Modbat: A Model-Based API Tester for Event-Driven Systems

Specific immunotherapy downregulates peripheral blood CD4 and CD8 T-lymphocyte activation in grass pollen-sensitive asthma

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Domain Types: Abstract-Domain Selection Based on Variable Usage

Predominant TH1 cytokine pattern in peripheral blood from subjects with chronic obstructive pulmonary disease

Predominant T H1 cytokine pattern in peripheral blood from subjects with chronic obstructive pulmonary disease

Speeding Up the Safety Verification of Programmable Logic Controller Code

Formal Specification of an Erase Block Management Layer for Flash Memory

Increasing Confidence in Liveness Model Checking Results with Proofs

Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming

Efficient Analysis of Reliability Architectures via Predicate Abstraction

Arithmetic Bit-Level Verification Using Network Flow Model

Modeling Firmware as Service Functions and Its Application to Test Generation

Suchergebnisse filtern