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

Defining the Ethereum Virtual Machine for Interactive Theorem Provers

Financial Cryptography and Data Security, p.520-535

Volltextzugriff (PDF)

Session Types in Abelian Logic

Electronic proceedings in theoretical computer science, 2013-12, Vol.137 (Proc. PLACES 2013), p.33-52

Hirai, Yoichi

2013

Volltextzugriff (PDF)

Balancing weight-balanced trees

Journal of functional programming, 2011-05, Vol.21 (3), p.287-307

2011

Volltextzugriff (PDF)

Containment for Conditional Tree Patterns

Logical methods in computer science, 2015-06, Vol.11, Issue 2

2015

Volltextzugriff (PDF)

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications

Software Engineering and Formal Methods, p.350-365

Volltextzugriff (PDF)

Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, p.389-404

Volltextzugriff (PDF)

A lambda calculus for gödel---dummett logic capturing waitfreedom

Functional and Logic Programming, 2012, p.151-165

2012

Volltextzugriff (PDF)

An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

Logic for Programming, Artificial Intelligence, and Reasoning, p.272-289

Volltextzugriff (PDF)

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor

FM 2016: Formal Methods, p.69-84

Volltextzugriff (PDF)

DURABILITY OF ANTI-CORROSIVE COATINGS IN COLD REGIONS

Doboku Gakkai Ronbunshu, 1999/09/20, Vol.1999(630), pp.11-25

1999

Volltextzugriff (PDF)

Corrosion Environments in Tropical Zone

CORROSION ENGINEERING, 1982/01/15, Vol.31(1), pp.48-48

HIRAI, Yoichi

1982

Volltextzugriff (PDF)

寒冷地における防食塗装の耐久性に関する研究

土木学会論文集, 1999/09/20, Vol.1999(630), pp.11-25

1999

Volltextzugriff (PDF)

Developing With Formal Methods at BedRock Systems, Inc

IEEE security & privacy, 2022-05, Vol.20 (3), p.33-42

2022

Volltextzugriff (PDF)

On Coumarins from the Fruits of Angelica pubescens MAXIM

YAKUGAKU ZASSHI, 1981/01/25, Vol.101(1), pp.67-71

1981

Volltextzugriff (PDF)

シシウド(Angelica pubescens MAXIM.)果実のクマリン成分

YAKUGAKU ZASSHI, 1981/01/25, Vol.101(1), pp.67-71

1981

Volltextzugriff (PDF)

A review on the current status and definitions of activity indices in inflammatory bowel disease: how to use indices for precise evaluation

Journal of gastroenterology, 2022-04, Vol.57 (4), p.246-266

2022

Volltextzugriff (PDF)

A Compound Inhibits Biofilm Formation of Staphylococcus aureus from Streptomyces

Biological and Pharmaceutical Bulletin, 2015/06/01, Vol.38(6), pp.889-892

2015

Volltextzugriff (PDF)

Nsp14 of SARS-CoV-2 inhibits mRNA processing and nuclear export by targeting the nuclear cap-binding complex

Nucleic acids research, 2023-08, Vol.51 (14), p.7602-7618

2023

Volltextzugriff (PDF)

Drug–drug interaction signals between loop diuretics and teicoplanin during acute kidney injury evaluated using Japanese spontaneous adverse drug event reports

Scientific reports, 2023-08, Vol.13 (1), p.13989-13989, Article 13989

2023

Volltextzugriff (PDF)

Phase I study of the irreversible fibroblast growth factor receptor 1–4 inhibitor futibatinib in Japanese patients with advanced solid tumors

Cancer science, 2023-02, Vol.114 (2), p.574-585

2023

Volltextzugriff (PDF)

B chromosomes have a functional effect on female sex determination in Lake Victoria cichlid fishes

PLoS genetics, 2011-08, Vol.7 (8), p.e1002203-e1002203

2011

Volltextzugriff (PDF)

Studies on Atmospheric Corrosion of Steels Related with Meteorological Factors in Japan (3rd Report): Effects of Exposure Angles

CORROSION ENGINEERING DIGEST, 1966/05/15, Vol.15(5), pp.200-203

1966

Volltextzugriff (PDF)

Studies on Atmospheric Corrosion of Steels Related with Meteorological Factors in Japan (2nd Report): Multiple Correlation of Meteorological Factors and Atmospheric Pollution Substances on Corrosion of Steel

CORROSION ENGINEERING DIGEST, 1965/01/15, Vol.14(1), pp.16-19

1965

Volltextzugriff (PDF)

Oxygen vacancy-originated highly active electrocatalysts for the oxygen evolution reaction

Journal of materials chemistry. A, Materials for energy and sustainability, 2018, Vol.6 (31), p.15102-15109

2018

Volltextzugriff (PDF)

Yersinia enterocolitica Enteritis Diagnosed with Erythema Nodosum

Internal Medicine, 2023/05/15, Vol.62(10), pp.1479-1485

2023

Volltextzugriff (PDF)

1 – 25 von 292

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(220)
Mit Volltextzugriff
(245)

Publikationsform

Sprache

Englisch
(263)
Japanisch
(40)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

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

Menü

Weitere Dienste

Einstellungen

Defining the Ethereum Virtual Machine for Interactive Theorem Provers

Session Types in Abelian Logic

Balancing weight-balanced trees

Containment for Conditional Tree Patterns

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications

Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap

A lambda calculus for gödel---dummett logic capturing waitfreedom

An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor

DURABILITY OF ANTI-CORROSIVE COATINGS IN COLD REGIONS

Corrosion Environments in Tropical Zone

寒冷地における防食塗装の耐久性に関する研究

Developing With Formal Methods at BedRock Systems, Inc

On Coumarins from the Fruits of Angelica pubescens MAXIM

シシウド(Angelica pubescens MAXIM.)果実のクマリン成分

A review on the current status and definitions of activity indices in inflammatory bowel disease: how to use indices for precise evaluation

A Compound Inhibits Biofilm Formation of Staphylococcus aureus from Streptomyces

Nsp14 of SARS-CoV-2 inhibits mRNA processing and nuclear export by targeting the nuclear cap-binding complex

Drug–drug interaction signals between loop diuretics and teicoplanin during acute kidney injury evaluated using Japanese spontaneous adverse drug event reports

Phase I study of the irreversible fibroblast growth factor receptor 1–4 inhibitor futibatinib in Japanese patients with advanced solid tumors

B chromosomes have a functional effect on female sex determination in Lake Victoria cichlid fishes

Studies on Atmospheric Corrosion of Steels Related with Meteorological Factors in Japan (3rd Report): Effects of Exposure Angles

Studies on Atmospheric Corrosion of Steels Related with Meteorological Factors in Japan (2nd Report): Multiple Correlation of Meteorological Factors and Atmospheric Pollution Substances on Corrosion of Steel

Oxygen vacancy-originated highly active electrocatalysts for the oxygen evolution reaction

Yersinia enterocolitica Enteritis Diagnosed with Erythema Nodosum

Suchergebnisse filtern