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

Development and evaluation of a Naïve Bayesian model for coding causation of workers’ compensation claims

Journal of safety research, 2012-12, Vol.43 (5-6), p.327-332

2012

Volltextzugriff (PDF)

Health-related quality of life outcomes measures

Archives of physical medicine and rehabilitation, 2000-12, Vol.81 (12 Suppl 2), p.S30-S45

2000

Volltextzugriff (PDF)

Barriers, facilitators, and access for wheelchair users: substantive and methodologic lessons from a pilot study of environmental effects

Social science & medicine (1982), 2002-10, Vol.55 (8), p.1435-1446

2002

Volltextzugriff (PDF)

What is in a step: On the semantics of statecharts

Theoretical Aspects of Computer Software, 2005, p.244-264

2005

Volltextzugriff (PDF)

Enabling our instruments: Accommodation, universal design, and access to participation in research

Archives of physical medicine and rehabilitation, 2000-12, Vol.81 (12 Suppl 2), p.S5-S9

2000

Volltextzugriff (PDF)

Data flow analysis as model checking

Theoretical Aspects of Computer Software, 2005, p.346-364

2005

Volltextzugriff (PDF)

Reliability and validity of disability questions for US Census 2000

American journal of public health (1971), 2000-08, Vol.90 (8), p.1297-1299

2000

Volltextzugriff (PDF)

Disability outcomes research: Why this supplement, on this topic, at this time?

Archives of physical medicine and rehabilitation, 2000-12, Vol.81 (12 Suppl 2), p.S1-S4

2000

Volltextzugriff (PDF)

A model of outcomes research: Spinal cord injury

Archives of physical medicine and rehabilitation, 2000-12, Vol.81 (12 Suppl 2), p.S81-S90

2000

Volltextzugriff (PDF)

An extension of system F with subtyping

Theoretical Aspects of Computer Software, 2005, p.750-770

2005

Volltextzugriff (PDF)

The coherence of languages with intersection types

Theoretical Aspects of Computer Software, 2005, p.675-700

2005

Volltextzugriff (PDF)

π-Calculus semantics of object-oriented programming languages

Theoretical Aspects of Computer Software, 2005, p.532-547

2005

Volltextzugriff (PDF)

The “boston model” of managed care and spinal cord injury: a cross-sectional study of the outcomes of risk-based, prepaid, managed care

Archives of physical medicine and rehabilitation, 1999-11, Vol.80 (11), p.1450-1456

1999

Volltextzugriff (PDF)

Intersection and union types

Theoretical Aspects of Computer Software, 2005, p.651-674

2005

Volltextzugriff (PDF)

Singleton, union and intersection types for program extraction

Theoretical Aspects of Computer Software, 2005, p.701-730

2005

Volltextzugriff (PDF)

Parametricity of extensionally collapsed term models of polymorphism and their categorical properties

Theoretical Aspects of Computer Software, 2005, p.495-512

2005

Volltextzugriff (PDF)

Authentication and delegation with smart-cards

Theoretical Aspects of Computer Software, 2005, p.326-345

2005

Volltextzugriff (PDF)

From programming-by-example to proving-by-example

Theoretical Aspects of Computer Software, 2005, p.387-419

2005

Volltextzugriff (PDF)

Disability and the curriculum in US Graduate Schools of Public Health

American journal of public health (1971), 2000-08, Vol.90 (8), p.1315-1316

2000

Volltextzugriff (PDF)

Type inference in polymorphic type discipline

Theoretical Aspects of Computer Software, 2005, p.18-37

2005

Volltextzugriff (PDF)

On abstraction and the expressive power of programming languages

Theoretical Aspects of Computer Software, 2005, p.290-310

2005

Volltextzugriff (PDF)

An efficiency preorder for processes

Theoretical Aspects of Computer Software, 2005, p.152-175

2005

Volltextzugriff (PDF)

Type theory as a foundation for computer science

Theoretical Aspects of Computer Software, 2005, p.226-243

2005

Volltextzugriff (PDF)

Adding proof objects and inductive definition mechanisms to frege structures

Theoretical Aspects of Computer Software, 2005, p.53-87

2005

Volltextzugriff (PDF)

Efficient program synthesis: Semantics, logic, complexity

Theoretical Aspects of Computer Software, 2005, p.615-632

2005

Volltextzugriff (PDF)

1 – 25 von 140

Menü

Weitere Dienste

Einstellungen

Development and evaluation of a Naïve Bayesian model for coding causation of workers’ compensation claims

Health-related quality of life outcomes measures

Barriers, facilitators, and access for wheelchair users: substantive and methodologic lessons from a pilot study of environmental effects

What is in a step: On the semantics of statecharts

Enabling our instruments: Accommodation, universal design, and access to participation in research

Data flow analysis as model checking

Reliability and validity of disability questions for US Census 2000

Disability outcomes research: Why this supplement, on this topic, at this time?

A model of outcomes research: Spinal cord injury

An extension of system F with subtyping

The coherence of languages with intersection types

π-Calculus semantics of object-oriented programming languages

The “boston model” of managed care and spinal cord injury: a cross-sectional study of the outcomes of risk-based, prepaid, managed care

Intersection and union types

Singleton, union and intersection types for program extraction

Parametricity of extensionally collapsed term models of polymorphism and their categorical properties

Authentication and delegation with smart-cards

From programming-by-example to proving-by-example

Disability and the curriculum in US Graduate Schools of Public Health

Type inference in polymorphic type discipline

On abstraction and the expressive power of programming languages

An efficiency preorder for processes

Type theory as a foundation for computer science

Adding proof objects and inductive definition mechanisms to frege structures

Efficient program synthesis: Semantics, logic, complexity

Suchergebnisse filtern