UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 699

Sortiert nach

ACTN3 R577X Polymorphism and Israeli Top-level Athletes

International journal of sports medicine, 2009-09, Vol.30 (9), p.695-698

2009

Volltextzugriff (PDF)

The effects of aerobic and anaerobic exercises on circulating soluble-Klotho and IGF-I in young and elderly adults and in CAD patients

Journal of Circulating Biomarkers, 2017-01, Vol.6, p.1849454417733388-8

2017

Volltextzugriff (PDF)

The ASTREÉ Analyzer

Lecture notes in computer science, 2005, p.21-30

2005

Volltextzugriff (PDF)

Analysis of an Electronic Voting Protocol in the Applied Pi Calculus

Lecture notes in computer science, 2005, p.186-200

2005

Volltextzugriff (PDF)

Is There an ACE ID – ACTN3 R577X Polymorphisms Interaction that Influences Sprint Performance?

International journal of sports medicine, 2009-12, Vol.30 (12), p.888-891

2009

Volltextzugriff (PDF)

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

Automated Deduction – CADE-20, 2005, p.99-115

2005

Volltextzugriff (PDF)

GNAS A-1121G Variant is Associated with Improved Diastolic Dysfunction in Response to Exercise Training in Heart Failure Patients

International journal of sports medicine, 2013-03, Vol.34 (3), p.274-280

2013

Volltextzugriff (PDF)

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Lecture notes in computer science, 2005, p.5-20

2005

Volltextzugriff (PDF)

Computationally Sound, Automated Proofs for Security Protocols

Lecture notes in computer science, 2005, p.157-171

2005

Volltextzugriff (PDF)

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

Lecture notes in computer science, 2004, p.530-545

2004

Volltextzugriff (PDF)

Weight lifting training and left ventricular function in adolescent subjects

Journal of sports medicine and physical fitness, 2007-09, Vol.47 (3), p.329

2007

Volltextzugriff (PDF)

Parametric shape analysis via 3-valued logic

ACM transactions on programming languages and systems, 2002-05, Vol.24 (3), p.217-298

2002

Volltextzugriff (PDF)

On the complexity of partially-flow-sensitive alias analysis

ACM transactions on programming languages and systems, 2008-05, Vol.30 (3), p.1-28

2008

Volltextzugriff (PDF)

Exercise training modulates cytokines activity in coronary heart disease patients

International journal of cardiology, 2005-04, Vol.100 (1), p.93-99

2005

Volltextzugriff (PDF)

CK-MM Gene Polymorphism Does not Influence the Blood CK Activity Levels After Exhaustive Eccentric Exercise

International journal of sports medicine, 2010-03, Vol.31 (3), p.213-217

2010

Volltextzugriff (PDF)

Towards a Type System for Analyzing JavaScript Programs

Lecture notes in computer science, 2005, p.408-422

2005

Volltextzugriff (PDF)

Dilated Inferior Vena Cava: A Common Echocardiographic Finding in Highly Trained Elite Athletes

Journal of the American Society of Echocardiography, 1999-11, Vol.12 (11), p.988-993

1999

Volltextzugriff (PDF)

Effects of different sprint cycling bouts on left ventricular function in top cyclists

Journal of sports medicine and physical fitness, 2008-09, Vol.48 (3), p.360

2008

Volltextzugriff (PDF)

Effect of different sprint training regimes on the oxygen delivery-extraction in elite sprinters

Journal of sports medicine and physical fitness, 2010-06, Vol.50 (2), p.121

2010

Volltextzugriff (PDF)

Java JR: Fully Abstract Trace Semantics for a Core Java Language

Lecture notes in computer science, 2005, p.423-438

2005

Volltextzugriff (PDF)

Changes in Sexual Experiences and Relationship Quality During Pregnancy

Archives of sexual behavior, 2012-10, Vol.41 (5), p.1241-1251

2012

Volltextzugriff (PDF)

Symbolic implementation of the best transformer

Lecture notes in computer science, 2004, p.252-266

2004

Volltextzugriff (PDF)

Install-time vaccination of Windows executables to defend against stack smashing attacks

IEEE transactions on dependable and secure computing, 2006-01, Vol.3 (1), p.78-90

2006

Volltextzugriff (PDF)

Interprocedural Herbrand Equalities

Lecture notes in computer science, 2005, p.31-45

2005

Volltextzugriff (PDF)

Acute incremental exercise to maximal performance does not cause alterations in serum oxidant levels of healthy young individuals

Journal of sports medicine and physical fitness, 2009-03, Vol.49 (1), p.105

2009

Volltextzugriff (PDF)

1 – 25 von 699

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(483)
Mit Volltextzugriff
(631)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(447)
Life Sciences & Biomedicine
(229)
Humans
(224)
Technology
(200)
Computer Science
(192)
Exact Sciences And Technology
(153)
Applied Sciences
(149)
Computer Science; Control Theory; Systems
(149)
Male
(130)
Female
(115)
Biological And Medical Sciences
(104)
Adult
(103)
Computer Science, Artificial Intelligence
(96)
Artificial Intelligence
(93)
Software
(81)
Computer Science, Theory & Methods
(78)
Medical Sciences
(61)
Middle Aged
(58)
Computer Science, Software Engineering
(54)
Pregnancy
(48)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

IngentaConnect Journals
(308)
MEDLINE
(234)
HEAL-Link subscriptions: Springer Book Series
(171)
Ebook Central Perpetual and DDA
(142)
eBooks on EBSCOhost
(142)
Journals@Ovid Complete
(126)
EZB Electronic Journals Library
(125)
Single Journals
(84)
Elsevier ScienceDirect Journals Complete
(71)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(60)
Wiley Online Library - AutoHoldings Journals
(49)
IngentaConnect Journals
(44)
De Gruyter eBooks
(35)
Wiley Online Library
(35)
ACM Digital Library
(32)
SpringerLink
(23)
Taylor & Francis Online
(21)
JSTOR
(21)
Taylor & Francis
(20)
Oxford journals
(16)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

ACTN3 R577X Polymorphism and Israeli Top-level Athletes

The effects of aerobic and anaerobic exercises on circulating soluble-Klotho and IGF-I in young and elderly adults and in CAD patients

The ASTREÉ Analyzer

Analysis of an Electronic Voting Protocol in the Applied Pi Calculus

Is There an ACE ID – ACTN3 R577X Polymorphisms Interaction that Influences Sprint Performance?

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

GNAS A-1121G Variant is Associated with Improved Diastolic Dysfunction in Response to Exercise Training in Heart Failure Patients

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Computationally Sound, Automated Proofs for Security Protocols

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

Weight lifting training and left ventricular function in adolescent subjects

Parametric shape analysis via 3-valued logic

On the complexity of partially-flow-sensitive alias analysis

Exercise training modulates cytokines activity in coronary heart disease patients

CK-MM Gene Polymorphism Does not Influence the Blood CK Activity Levels After Exhaustive Eccentric Exercise

Towards a Type System for Analyzing JavaScript Programs

Dilated Inferior Vena Cava: A Common Echocardiographic Finding in Highly Trained Elite Athletes

Effects of different sprint cycling bouts on left ventricular function in top cyclists

Effect of different sprint training regimes on the oxygen delivery-extraction in elite sprinters

Java JR: Fully Abstract Trace Semantics for a Core Java Language

Changes in Sexual Experiences and Relationship Quality During Pregnancy

Symbolic implementation of the best transformer

Install-time vaccination of Windows executables to defend against stack smashing attacks

Interprocedural Herbrand Equalities

Acute incremental exercise to maximal performance does not cause alterations in serum oxidant levels of healthy young individuals

Suchergebnisse filtern