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

Safety and Immunogenicity of 26-Valent Group A Streptococcus Vaccine in Healthy Adult Volunteers

Clinical infectious diseases, 2005-10, Vol.41 (8), p.1114-1122

2005

Volltextzugriff (PDF)

Formalising Receipt-Freeness

Information Security, 2006, p.476-488

2006

Volltextzugriff (PDF)

Reconciling real and stochastic time: the need for probabilistic refinement

Formal aspects of computing, 2012-07, Vol.24 (4-6), p.497-518

2012

Volltextzugriff (PDF)

Bisimulation for probabilistic transition systems: a coalgebraic approach

Theoretical computer science, 1999-06, Vol.221 (1-2), p.271-293

1999

Volltextzugriff (PDF)

Injective synchronisation: An extension of the authentication hierarchy

Theoretical computer science, 2006-11, Vol.367 (1), p.139-161

2006

Volltextzugriff (PDF)

A Formalization of Anonymity and Onion Routing

Computer Security – ESORICS 2004, 2004, p.109-124

2004

Volltextzugriff (PDF)

Novel immunoregulatory functions of phenotypically distinct subpopulations of CD4+ cells in the human neonate

The Journal of immunology (1950), 1990-07, Vol.145 (1), p.102-108

1990

Volltextzugriff (PDF)

Safety and immunogenicity of three doses of a five-valent pneumococcal conjugate vaccine in children younger than two years with and without human immunodeficiency virus infection

Pediatrics (Evanston), 1997-04, Vol.99 (4), p.575-580

1997

Volltextzugriff (PDF)

Vitamin A deficiency and maternal-infant transmission of HIV in two metropolitan areas in the United States

AIDS (London), 1997-03, Vol.11 (3), p.325-332

1997

Volltextzugriff (PDF)

Disease Progression and Early Viral Dynamics in Human Immunodeficiency Virus-Infected Children Exposed to Zidovudine during Prenatal and Perinatal Periods

The Journal of infectious diseases, 2000-07, Vol.182 (1), p.104-111

2000

Volltextzugriff (PDF)

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100813, Article 100813

2023

Volltextzugriff (PDF)

Bisimulation for probabilistic transition systems : A coalgebraic approach

Lecture notes in computer science, 1997, p.460-470

1997

Volltextzugriff (PDF)

Invasive pneumococcal disease among infected and uninfected children of mothers with human immunodeficiency virus infection

The Journal of pediatrics, 1994-06, Vol.124 (6), p.853-858

1994

Volltextzugriff (PDF)

Antibody titers eight months after three doses of a five-valent pneumococcal conjugate vaccine in HIV and non-HIV-infected children less than two years of age

Vaccine, 1998-02, Vol.16 (4), p.361-365

1998

Volltextzugriff (PDF)

VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

International journal of foundations of computer science, 2002-06, Vol.13 (3), p.315-340

2002

Volltextzugriff (PDF)

Bacteremia in febrile human immunodeficiency virus-infected children presenting to ambulatory care settings

The Pediatric infectious disease journal, 1998-05, Vol.17 (5), p.381-385

1998

Volltextzugriff (PDF)

The immunogenicity of Haemophilus influenzae type b conjugate (HbOC) vaccine in human immunodeficiency virus-infected and uninfected infants

The Pediatric infectious disease journal, 1995-05, Vol.14 (5), p.350-353

1995

Volltextzugriff (PDF)

Comparison of the safety and immunogenicity of a pneumococcal conjugate with a licensed polysaccharide vaccine in human immunodeficiency virus and non-human immunodeficiency virus-infected children

The Pediatric infectious disease journal, 1996-03, Vol.15 (3), p.192-196

1996

Volltextzugriff (PDF)

Dynamic adaptation with distributed control in Paradigm

Science of computer programming, 2014-11, Vol.94, p.333-361

2014

Volltextzugriff (PDF)

Dynamic consistency in process algebra: From Paradigm to ACP

Science of computer programming, 2011-08, Vol.76 (8), p.711-735

2011

Volltextzugriff (PDF)

Respiratory syncytial virus illnesses in human immunodeficiency virus- and noninfected children

The Pediatric infectious disease journal, 1993-09, Vol.12 (9), p.733-738

1993

Volltextzugriff (PDF)

Time and Data-Aware Analysis of Graphical Service Models in Reo

2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, p.125-134

2010

Volltextzugriff (PDF)

Axiomatizing GSOS with Termination

Lecture notes in computer science, 2002, Vol.2285, p.583-595

2002

Volltextzugriff (PDF)

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Electronic proceedings in theoretical computer science, 2012-01, Vol.93 (Proc. ACCAT 2012), p.23-43

2012

Volltextzugriff (PDF)

Combining Insertion and Deletion in RNA-editing Preserves Regularity

Electronic proceedings in theoretical computer science, 2012-11, Vol.100 (Proc. MeCBIC 2012), p.48-62

2012

Volltextzugriff (PDF)

1 – 25 von 730

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(636)
Mit Volltextzugriff
(635)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Safety and Immunogenicity of 26-Valent Group A Streptococcus Vaccine in Healthy Adult Volunteers

Formalising Receipt-Freeness

Reconciling real and stochastic time: the need for probabilistic refinement

Bisimulation for probabilistic transition systems: a coalgebraic approach

Injective synchronisation: An extension of the authentication hierarchy

A Formalization of Anonymity and Onion Routing

Novel immunoregulatory functions of phenotypically distinct subpopulations of CD4+ cells in the human neonate

Safety and immunogenicity of three doses of a five-valent pneumococcal conjugate vaccine in children younger than two years with and without human immunodeficiency virus infection

Vitamin A deficiency and maternal-infant transmission of HIV in two metropolitan areas in the United States

Disease Progression and Early Viral Dynamics in Human Immunodeficiency Virus-Infected Children Exposed to Zidovudine during Prenatal and Perinatal Periods

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

Bisimulation for probabilistic transition systems : A coalgebraic approach

Invasive pneumococcal disease among infected and uninfected children of mothers with human immunodeficiency virus infection

Antibody titers eight months after three doses of a five-valent pneumococcal conjugate vaccine in HIV and non-HIV-infected children less than two years of age

VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

Bacteremia in febrile human immunodeficiency virus-infected children presenting to ambulatory care settings

The immunogenicity of Haemophilus influenzae type b conjugate (HbOC) vaccine in human immunodeficiency virus-infected and uninfected infants

Comparison of the safety and immunogenicity of a pneumococcal conjugate with a licensed polysaccharide vaccine in human immunodeficiency virus and non-human immunodeficiency virus-infected children

Dynamic adaptation with distributed control in Paradigm

Dynamic consistency in process algebra: From Paradigm to ACP

Respiratory syncytial virus illnesses in human immunodeficiency virus- and noninfected children

Time and Data-Aware Analysis of Graphical Service Models in Reo

Axiomatizing GSOS with Termination

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Combining Insertion and Deletion in RNA-editing Preserves Regularity

Suchergebnisse filtern