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

A Verification Approach for Web Service Compositions Based on Epistemic Model Checking: A Verification Approach for Web Service Compositions Based on Epistemic Model Checking

Jísuánjī xuébào, 2011-06, Vol.34 (6), p.1041-1061

2011

Volltextzugriff (PDF)

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Journal of computer science and technology, 2006-11, Vol.21 (6), p.932-943

2006

Volltextzugriff (PDF)

A Role-Based PMI Security Model for E-Government

Wuhan University journal of natural sciences, 2005, Vol.10 (1), p.329-332

2005

Volltextzugriff (PDF)

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus: Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

Jísuánjī xuébào, 2009-09, Vol.31 (2), p.245-252

2009

Volltextzugriff (PDF)

Optimization of Bounded Model Checking: Optimization of Bounded Model Checking

Ruan jian xue bao, 2009-11, Vol.20 (8), p.2005-2014

2009

Volltextzugriff (PDF)

A Model Checking Approach for Solving Epistemic Riddles: A Model Checking Approach for Solving Epistemic Riddles

Jísuánjī xuébào, 2010-04, Vol.33 (3), p.406-414

2010

Volltextzugriff (PDF)

The Automatic Verification and Improvement of SET Certificate Registration Protocols with SPV: The Automatic Verification and Improvement of SET Certificate Registration Protocols with SPV

Jísuánjī xuébào, 2009-10, Vol.31 (6), p.1035-1045

2009

Volltextzugriff (PDF)

Derivation of fast neutron multiplicity measurement equation of uranium material

Wuli xuebao, 2022-05, Vol.71 (9), p.91401

2022

Volltextzugriff (PDF)

Reproductive toxicity and gender differences induced by cadmium telluride quantum dots in an invertebrate model organism

Scientific reports, 2016-09, Vol.6 (1), p.34182, Article 34182

2016

Volltextzugriff (PDF)

Single-cell RNA sequencing reveals intratumoral heterogeneity and potential mechanisms of malignant progression in prostate cancer with perineural invasion

Frontiers in genetics, 2023-01, Vol.13, p.1073232-1073232

2023

Volltextzugriff (PDF)

Impact of fluorescent silicon nanoparticles on circulating hemolymph and hematopoiesis in an invertebrate model organism

Chemosphere (Oxford), 2016-09, Vol.159, p.628-637

2016

Volltextzugriff (PDF)

Palladium-Catalyzed Regioselective C–H Bond Acetoxylation–Alkoxylation of Azoxybenzenes

Synlett, 2015-12, Vol.26 (20), p.2843-2848

2015

Volltextzugriff (PDF)

Scientometric cognitive and evaluation on smart city related construction and building journals data

Scientometrics, 2015-10, Vol.105 (1), p.449-470

2015

Volltextzugriff (PDF)

Design and Development of Task-oriented Robots with Hybrid Energy

2023 International Automatic Control Conference (CACS), 2023, p.1-6

2023

Volltextzugriff (PDF)

Risk factors and survival analysis of haemodialysis complicated with infective endocarditis

Experimental and therapeutic medicine, 2023-05, Vol.25 (5), Article 203

2023

Volltextzugriff (PDF)

ChemInform Abstract: Palladium‐Catalyzed Regioselective C—H Bond Acetoxylation—Alkoxylation of Azoxybenzenes

ChemInform, 2016-04, Vol.47 (18), p.no-no

2016

Volltextzugriff (PDF)

Gelation Property of Alcohol-Extracted Soy Protein Isolate and Effects of Various Reagents on the Firmness of Heat-Induced Gels

International journal of food properties, 2015-03, Vol.18 (3), p.627-637

2015

Volltextzugriff (PDF)

A Comparison of the Toxic Effects of Fluorescent Silicon Nanoparticles in Males and Females of the Silkworm Bombyx mori

Science of advanced materials, 2018-03, Vol.10 (3), p.315-323

2018

Volltextzugriff (PDF)

Synthesis of Rare Earth Up-Conversion Material and Application in the Dye-Sensitized Solar Cells

Advanced materials research, 2012, Vol.512-515, p.289-292

2012

Volltextzugriff (PDF)

Parameter Optimization of Multi-machine PSS Using Improved ABC Algorithms

DEStech Transactions on Engineering and Technology Research, 2017-03 (icca)

2017

Volltextzugriff (PDF)

G

Kleines Lexikon historischer Personen der griechischen Antike, 2016, p.46-49

2016

Volltextzugriff (PDF)

碳化作用下柠檬酸和水玻璃对硫氧镁水泥中钢筋锈蚀行为的影响

材料保护, 2023, Vol.56 (12), p.50-57

2023

Volltextzugriff (PDF)

1 – 22 von 22

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(15)
Mit Volltextzugriff
(11)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(11)
Life Sciences & Biomedicine
(4)
Technology
(4)
Physical Sciences
(3)
Apoptosis
(2)
Cell Death
(2)
Computer Science
(2)
Gonads
(2)
Males
(2)
Materials Science
(2)
Materials Science, Multidisciplinary
(2)
Physics
(2)
Science & Technology - Other Topics
(2)
Semantics
(2)
Silicon Nanoparticles
(2)
Toxicity
(2)
13/106
(1)
14/19
(1)
14/63
(1)
38
(1)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

A Verification Approach for Web Service Compositions Based on Epistemic Model Checking: A Verification Approach for Web Service Compositions Based on Epistemic Model Checking

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

A Role-Based PMI Security Model for E-Government

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus: Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

Optimization of Bounded Model Checking: Optimization of Bounded Model Checking

A Model Checking Approach for Solving Epistemic Riddles: A Model Checking Approach for Solving Epistemic Riddles

The Automatic Verification and Improvement of SET Certificate Registration Protocols with SPV: The Automatic Verification and Improvement of SET Certificate Registration Protocols with SPV

Derivation of fast neutron multiplicity measurement equation of uranium material

Reproductive toxicity and gender differences induced by cadmium telluride quantum dots in an invertebrate model organism

Single-cell RNA sequencing reveals intratumoral heterogeneity and potential mechanisms of malignant progression in prostate cancer with perineural invasion

Impact of fluorescent silicon nanoparticles on circulating hemolymph and hematopoiesis in an invertebrate model organism

Palladium-Catalyzed Regioselective C–H Bond Acetoxylation–Alkoxylation of Azoxybenzenes

Scientometric cognitive and evaluation on smart city related construction and building journals data

Design and Development of Task-oriented Robots with Hybrid Energy

Risk factors and survival analysis of haemodialysis complicated with infective endocarditis

ChemInform Abstract: Palladium‐Catalyzed Regioselective C—H Bond Acetoxylation—Alkoxylation of Azoxybenzenes

Gelation Property of Alcohol-Extracted Soy Protein Isolate and Effects of Various Reagents on the Firmness of Heat-Induced Gels

A Comparison of the Toxic Effects of Fluorescent Silicon Nanoparticles in Males and Females of the Silkworm Bombyx mori

Synthesis of Rare Earth Up-Conversion Material and Application in the Dye-Sensitized Solar Cells

Parameter Optimization of Multi-machine PSS Using Improved ABC Algorithms

G

碳化作用下柠檬酸和水玻璃对硫氧镁水泥中钢筋锈蚀行为的影响

Suchergebnisse filtern