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 complete method for the synthesis of linear ranking functions

Lecture notes in computer science, 2004, p.239-251

2004

Volltextzugriff (PDF)

Approximate probabilistic model checking

Lecture notes in computer science, 2004, p.73-84

2004

Volltextzugriff (PDF)

Symbolic implementation of the best transformer

Lecture notes in computer science, 2004, p.252-266

2004

Volltextzugriff (PDF)

Completeness and complexity of Bounded Model Checking

Lecture notes in computer science, 2004, p.85-96

2004

Volltextzugriff (PDF)

Rule-Based Runtime Verification

Lecture notes in computer science, 2004, p.44-57

2004

Volltextzugriff (PDF)

Translation validation

Lecture notes in computer science, 1998, p.151-166

1998

Volltextzugriff (PDF)

SemSearch: A Search Engine for the Semantic Web

Lecture notes in computer science, 2006, p.238-245

2006

Volltextzugriff (PDF)

Static analysis versus software model checking for bug finding

Lecture notes in computer science, 2004, p.191-210

2004

Volltextzugriff (PDF)

Type inference for Parameterized Race-Free Java

Lecture notes in computer science, 2004, p.149-160

2004

Volltextzugriff (PDF)

Marine hyperpycnal flows: initiation, behavior and related deposits. A review

Marine and petroleum geology, 2003-06, Vol.20 (6), p.861-882

2003

Volltextzugriff (PDF)

Verifying atomicity specifications for concurrent object-oriented software using model-checking

Lecture notes in computer science, 2004, p.175-190

2004

Volltextzugriff (PDF)

Model checking of real-time reachability properties using abstractions

Lecture notes in computer science, 1998, p.313-329

1998

Volltextzugriff (PDF)

Deltaic, mixed and turbidite sedimentation of ancient foreland basins

Marine and petroleum geology, 2003-06, Vol.20 (6), p.733-755

2003

Volltextzugriff (PDF)

Architecture and evolution of upper fan channel-belts on the Niger Delta slope and in the Arabian Sea

Marine and petroleum geology, 2003-09, Vol.20 (6), p.649-676

2003

Volltextzugriff (PDF)

Lateral accretion packages (LAPs): an important reservoir element in deep water sinuous channels

Marine and petroleum geology, 2003-06, Vol.20 (6), p.631-648

2003

Volltextzugriff (PDF)

Reconstruction of turbidity currents in Amazon Channel

Marine and petroleum geology, 2003-06, Vol.20 (6), p.823-849

2003

Volltextzugriff (PDF)

OPEN/CÆSAR: An open software architecture for verification, simulation, and testing

Lecture notes in computer science, 1998, p.68-84

1998

Volltextzugriff (PDF)

Matching Unstructured Vocabularies Using a Background Ontology

Lecture notes in computer science, 2006, p.182-197

2006

Volltextzugriff (PDF)

Controls on reservoir distribution, architecture and stratigraphic trapping in slope settings

Marine and petroleum geology, 2003-09, Vol.20 (6), p.529-545

Prather, Bradford E

2003

Volltextzugriff (PDF)

Ontology Selection for the Real Semantic Web: How to Cover the Queen’s Birthday Dinner?

Lecture notes in computer science, 2006, p.96-111

2006

Volltextzugriff (PDF)

The influence of flow parameters on turbidite slope channel architecture

Marine and petroleum geology, 2003-06, Vol.20 (6), p.901-910

Kneller, Ben

2003

Volltextzugriff (PDF)

Verifying networks of timed processes

Lecture notes in computer science, 1998, p.298-312

1998

Volltextzugriff (PDF)

Automatic inference of class invariants

Lecture notes in computer science, 2004, p.211-222

LOGOZZO, Francesco

2004

Volltextzugriff (PDF)

Depositional elements associated with a basin floor channel-levee system: case study from the Gulf of Mexico

Marine and petroleum geology, 2003-09, Vol.20 (6), p.677-690

Posamentier, Henry W

2003

Volltextzugriff (PDF)

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Formal Methods for Open Object-Based Distributed Systems, 2005, p.211-226

2005

Volltextzugriff (PDF)

1 – 25 von 1.964

Menü

Weitere Dienste

Einstellungen

A complete method for the synthesis of linear ranking functions

Approximate probabilistic model checking

Symbolic implementation of the best transformer

Completeness and complexity of Bounded Model Checking

Rule-Based Runtime Verification

Translation validation

SemSearch: A Search Engine for the Semantic Web

Static analysis versus software model checking for bug finding

Type inference for Parameterized Race-Free Java

Marine hyperpycnal flows: initiation, behavior and related deposits. A review

Verifying atomicity specifications for concurrent object-oriented software using model-checking

Model checking of real-time reachability properties using abstractions

Deltaic, mixed and turbidite sedimentation of ancient foreland basins

Architecture and evolution of upper fan channel-belts on the Niger Delta slope and in the Arabian Sea

Lateral accretion packages (LAPs): an important reservoir element in deep water sinuous channels

Reconstruction of turbidity currents in Amazon Channel

OPEN/CÆSAR: An open software architecture for verification, simulation, and testing

Matching Unstructured Vocabularies Using a Background Ontology

Controls on reservoir distribution, architecture and stratigraphic trapping in slope settings

Ontology Selection for the Real Semantic Web: How to Cover the Queen’s Birthday Dinner?

The influence of flow parameters on turbidite slope channel architecture

Verifying networks of timed processes

Automatic inference of class invariants

Depositional elements associated with a basin floor channel-levee system: case study from the Gulf of Mexico

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Aktive Filter

Suchergebnisse filtern