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

Edinburgh Handbook of Evaluative Morphology

1, 2015

Volltextzugriff (PDF)

Introductory Physics for the Life Sciences

1, 2023

Volltextzugriff (PDF)

Spatial Analysis for Radar Remote Sensing of Tropical Forests

1, 2021

Volltextzugriff (PDF)

A viable reality: Including refugees economically

International trade forum, 2020-06, Vol.2020 (2), p.14-15

Filippo Grandi

2020

Volltextzugriff (PDF)

Structural study of the Zn-Se system by ball milling technique

Nanostructured materials, 1999-02, Vol.11 (1), p.51-57

1999

Volltextzugriff (PDF)

Geofinance between Political and Financial Geographies: A Focus on the Semi-Periphery of the Global Financial System

1, 2019

Volltextzugriff (PDF)

Specific Heat of Ni2TSn (T = Ti, Zr, Hf) Heusler Compounds

Physica status solidi. A, Applied research, 1996-04, Vol.154 (2), p.549-552

1996

Volltextzugriff (PDF)

A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.4-18

2016

Volltextzugriff (PDF)

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.19-28

2016

Volltextzugriff (PDF)

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.90-100

2016

Volltextzugriff (PDF)

Staphylococcus aureus: Microbiology, Pathology, Immunology, Therapy and Prophylaxis

1, 2018

Volltextzugriff (PDF)

An Executable Semantics of Flexible Plans in Terms of Timed Game Automata

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.160-169

2016

Volltextzugriff (PDF)

Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.180-185

Cuzzocrea, Alfredo

2016

Volltextzugriff (PDF)

A Team Based Variant of CTL

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.140-149

2016

Volltextzugriff (PDF)

On the Counting of Strategies

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.170-179

2016

Volltextzugriff (PDF)

Thermodynamic considerations about the formation of alloys by mechanical alloying

Physical review. B, Condensed matter, 2000-10, Vol.62 (13), p.8871-8877

2000

Volltextzugriff (PDF)

Global Caching for the Flat Coalgebraic µ-Calculus

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.121-130

2016

Volltextzugriff (PDF)

Semantic Vacuity

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.111-120

2016

Volltextzugriff (PDF)

The Price of Evolution in Temporal Databases

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.47-58

2016

Volltextzugriff (PDF)

Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.29-37

2016

Volltextzugriff (PDF)

LTL Fragments are Hard for Standard Parameterisations

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.59-68

2016

Volltextzugriff (PDF)

The Model Checking Fingerprints of CTL Operators

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.101-110

2016

Volltextzugriff (PDF)

Undecidability of Chop

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.79-89

2016

Volltextzugriff (PDF)

Historical Queries on Wikipedia: A Usability-Driven Approach

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.1-1

Zaniolo, Carlo

2016

Volltextzugriff (PDF)

Reachability Games on Recursive Hybrid Automata

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.150-159

2016

Volltextzugriff (PDF)

1 – 25 von 1.511

Menü

Weitere Dienste

Einstellungen

Edinburgh Handbook of Evaluative Morphology

Introductory Physics for the Life Sciences

Spatial Analysis for Radar Remote Sensing of Tropical Forests

A viable reality: Including refugees economically

Structural study of the Zn-Se system by ball milling technique

Geofinance between Political and Financial Geographies: A Focus on the Semi-Periphery of the Global Financial System

Specific Heat of Ni2TSn (T = Ti, Zr, Hf) Heusler Compounds

A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS

Staphylococcus aureus: Microbiology, Pathology, Immunology, Therapy and Prophylaxis

An Executable Semantics of Flexible Plans in Terms of Timed Game Automata

Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions

A Team Based Variant of CTL

On the Counting of Strategies

Thermodynamic considerations about the formation of alloys by mechanical alloying

Global Caching for the Flat Coalgebraic µ-Calculus

Semantic Vacuity

The Price of Evolution in Temporal Databases

Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions

LTL Fragments are Hard for Standard Parameterisations

The Model Checking Fingerprints of CTL Operators

Undecidability of Chop

Historical Queries on Wikipedia: A Usability-Driven Approach

Reachability Games on Recursive Hybrid Automata

Aktive Filter

Suchergebnisse filtern