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

Phylogeography of Sardinian cave salamanders (genus Hydromantes) is mainly determined by geomorphology

PloS one, 2012-03, Vol.7 (3), p.e32332-e32332

2012

Volltextzugriff (PDF)

A survey of challenges for runtime verification from advanced application domains (beyond software)

Formal methods in system design, 2019-11, Vol.54 (3), p.279-335

2019

Volltextzugriff (PDF)

Counterions in Poly(allylamine hydrochloride) and Poly(styrene sulfonate) Layer-by-Layer Films

Langmuir, 2004-09, Vol.20 (19), p.8103-8109

2004

Volltextzugriff (PDF)

Multicore software engineering, performance, and tools: international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19- 20, 2013, proceedings

2013

Volltextzugriff (PDF)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

Formal methods in system design, 2019, Vol.55 (1), p.72-72

2019

Volltextzugriff (PDF)

Verifying Real-World Software with Contracts for Concurrency

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018, Vol.11247, p.70-73

2018

Volltextzugriff (PDF)

Dating cryptodiran nodes: Origin and diversification of the turtle superfamily Testudinoidea

Molecular phylogenetics and evolution, 2012-01, Vol.62 (1), p.496-507

2012

Volltextzugriff (PDF)

The rate of molecular adaptation in a changing environment

Molecular biology and evolution, 2013-06, Vol.30 (6), p.1292-1301

2013

Volltextzugriff (PDF)

Reference-free population genomics from next-generation transcriptome data and the vertebrate-invertebrate gap

PLoS genetics, 2013-04, Vol.9 (4), p.e1003457-e1003457

2013

Volltextzugriff (PDF)

Combined experimental and theoretical study of Coelenterazine chemiluminescence in aqueous solution

Journal of luminescence, 2018-02, Vol.194, p.139-145

2018

Volltextzugriff (PDF)

Counterions in layer-by-layer films—Influence of the drying process

Journal of colloid and interface science, 2007-09, Vol.313 (1), p.26-33

2007

Volltextzugriff (PDF)

Discovering Concurrency Errors

Lectures on Runtime Verification, 2018, Vol.10457, p.34-60

2018

Volltextzugriff (PDF)

It’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments

Future generation computer systems, 2021-05, Vol.118, p.14-36

2021

Volltextzugriff (PDF)

High frequency of trypanosomatids in gallery forest bats of a Neotropical savanna

Acta tropica, 2018-01, Vol.177, p.200-206

2018

Volltextzugriff (PDF)

Pot: Deterministic Transactional Execution

ACM transactions on architecture and code optimization, 2016-12, Vol.13 (4), p.1-24

2016

Volltextzugriff (PDF)

Efficient support for in-place metadata in Java software transactional memory

Concurrency and computation, 2013-12, Vol.25 (17), p.2394-2411

2013

Volltextzugriff (PDF)

Short-term changes in dietary sodium intake influence sweat sodium concentration and muscle sodium content in healthy individuals

Journal of hypertension, 2020-01, Vol.38 (1), p.159-166

2020

Volltextzugriff (PDF)

Framework Support for the Efficient Implementation of Multi-version Algorithms

Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015, p.166-191

2015

Volltextzugriff (PDF)

Phylogeography of Sardinian Cave Salamanders

PloS one, 2012-03, Vol.7 (3), p.e32332

2012

Volltextzugriff (PDF)

Challenging case of Whipple's disease: The contribution of radiology

Radiology case reports, 2022-03, Vol.17 (3), p.1008-1012

2022

Volltextzugriff (PDF)

Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2013

Volltextzugriff (PDF)

Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings

1, 2013

Volltextzugriff (PDF)

Automatically Repairing Concurrency Bugs with ARC

Multicore Software Engineering, Performance, and Tools, 2013, p.73-84

2013

Volltextzugriff (PDF)

How to Cancel a Task

Multicore Software Engineering, Performance, and Tools, 2013, p.61-72

2013

Volltextzugriff (PDF)

A Modular Approach to Model-Based Testing of Concurrent Programs

Multicore Software Engineering, Performance, and Tools, 2013, p.85-96

2013

Volltextzugriff (PDF)

1 – 25 von 570

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(463)
Mit Volltextzugriff
(512)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(391)
Life Sciences & Biomedicine
(198)
Technology
(131)
Physical Sciences
(110)
Humans
(89)
Chemistry
(87)
Computer Science
(60)
Engineering
(58)
Animals
(52)
Male
(46)
Female
(44)
Materials Science
(40)
Computer Science, Theory & Methods
(37)
Science & Technology - Other Topics
(37)
Chemistry, Physical
(30)
Biochemistry & Molecular Biology
(29)
Middle Aged
(28)
Materials Science, Multidisciplinary
(27)
Adult
(26)
Chemistry, Multidisciplinary
(23)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(5)
... seit 90 Tagen
(11)

Menü

Weitere Dienste

Einstellungen

Phylogeography of Sardinian cave salamanders (genus Hydromantes) is mainly determined by geomorphology

A survey of challenges for runtime verification from advanced application domains (beyond software)

Counterions in Poly(allylamine hydrochloride) and Poly(styrene sulfonate) Layer-by-Layer Films

Multicore software engineering, performance, and tools: international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19- 20, 2013, proceedings

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

Verifying Real-World Software with Contracts for Concurrency

Dating cryptodiran nodes: Origin and diversification of the turtle superfamily Testudinoidea

The rate of molecular adaptation in a changing environment

Reference-free population genomics from next-generation transcriptome data and the vertebrate-invertebrate gap

Combined experimental and theoretical study of Coelenterazine chemiluminescence in aqueous solution

Counterions in layer-by-layer films—Influence of the drying process

Discovering Concurrency Errors

It’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments

High frequency of trypanosomatids in gallery forest bats of a Neotropical savanna

Pot: Deterministic Transactional Execution

Efficient support for in-place metadata in Java software transactional memory

Short-term changes in dietary sodium intake influence sweat sodium concentration and muscle sodium content in healthy individuals

Framework Support for the Efficient Implementation of Multi-version Algorithms

Phylogeography of Sardinian Cave Salamanders

Challenging case of Whipple's disease: The contribution of radiology

Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings

Automatically Repairing Concurrency Bugs with ARC

How to Cancel a Task

A Modular Approach to Model-Based Testing of Concurrent Programs

Suchergebnisse filtern