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

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

1, 2016

Volltextzugriff (PDF)

Mad1p, a component of the spindle assembly checkpoint in fission yeast, suppresses a novel septation-defective mutant, sun1, in a cell-division cycle

FEMS microbiology letters, 2003-10, Vol.227 (2), p.183-188

2003

Volltextzugriff (PDF)

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

1998

Volltextzugriff (PDF)

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

1992

Volltextzugriff (PDF)

CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

1, 2001

Volltextzugriff (PDF)

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

1, 2004

Volltextzugriff (PDF)

Dual growth factor-loaded in situ gel-forming bulking agent: passive and bioactive effects for the treatment of urinary incontinence

Journal of materials science. Materials in medicine, 2015-01, Vol.26 (1), p.5365-11, Article 33

2015

Volltextzugriff (PDF)

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

1st Edition 2019, 2019

Volltextzugriff (PDF)

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

1st ed. 2019., 2019

Volltextzugriff (PDF)

On the Expressiveness of Joining and Splitting

Models, Mindsets, Meta: The What, the How, and the Why Not?, 2019, Vol.11200, p.326-355

2019

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

2021

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

2021

Volltextzugriff (PDF)

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

1st Edition 2017, 2017

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

1, 2021

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

1, 2021

Volltextzugriff (PDF)

353183 APPLICATION OF SEGMENTAL PRECAST DECKS TO THE MAGLEV GUIDEWAY GIRDER SYSTEM FOR CURVED ROUTES IN URBAN AREA(MAGLEV,Technical Session)

The Proceedings of International Symposium on Seed-up and Service Technology for Railway and Maglev Systems : STECH, 2009, Vol.2009, p.353183-1-353183-6

2009

Volltextzugriff (PDF)

Models, Mindsets, Meta: The What, the How, and the Why Not?

Models, Mindsets, Meta: The What, the How, and the Why Not?, p.3-13

Volltextzugriff (PDF)

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

1, 2002

Volltextzugriff (PDF)

Making Sense of Complex Applications: Constructive Design, Features, and Questions

Models, Mindsets, Meta: The What, the How, and the Why Not?, p.129-148

Volltextzugriff (PDF)

Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)

Science of computer programming, 2021-06, Vol.206, p.102622, Article 102622

2021

Volltextzugriff (PDF)

Benchmarks for Automata Learning and Conformance Testing

Models, Mindsets, Meta: The What, the How, and the Why Not?, p.390-416

Volltextzugriff (PDF)

Intersection Types in Java: Back to the Future

Models, Mindsets, Meta: The What, the How, and the Why Not?, p.68-86

Volltextzugriff (PDF)

Reflections on Bernhard Steffen’s Physics of Software Tools

Models, Mindsets, Meta: The What, the How, and the Why Not?, 2019, p.186-207

2019

Volltextzugriff (PDF)

Mad1p, a component of the spindle assembly checkpoint in fission yeast, suppresses a novel septation-defective mutant, sun1, in a cell-division cycle

FEMS microbiology letters, 2003-10, Vol.227 (2), p.183-188

2003

Volltextzugriff (PDF)

States and Events in KandISTI: A Retrospective

Models, Mindsets, Meta: The What, the How, and the Why Not?, p.110-128

Volltextzugriff (PDF)

1 – 25 von 120.464

Suche als RSS-Feed

Aktive Filter

SpracheSpanisch

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(102.293)
Mit Volltextzugriff
(103.557)

Publikationsform

9 weitere anzeigen...

Weniger anzeigen...

Sprache

13 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(78.226)
Life Sciences & Biomedicine
(41.671)
Humans
(26.845)
Physical Sciences
(23.830)
Technology
(23.229)
Physics
(16.262)
Male
(15.990)
Female
(15.453)
Biological And Medical Sciences
(14.119)
Animals
(11.821)
Exact Sciences And Technology
(10.383)
Medical Sciences
(9.819)
Engineering
(9.596)
Middle Aged
(9.201)
Adult
(9.046)
Materials Science
(9.000)
Chemistry
(6.856)
Aged
(6.603)
Materials Science, Multidisciplinary
(6.307)
Physics, Applied
(6.006)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ingenta
(46.396)
EZB Electronic Journals Library
(44.294)
MEDLINE
(38.401)
Journals@Ovid
(26.873)
Access via ScienceDirect (Elsevier)
(24.670)
Publisher website
(24.038)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(16.399)
IngentaConnect Journals
(16.031)
Wiley Online Library Journals
(12.923)
Springer Nature
(12.110)
Wiley Online Library
(8.724)
IEEE Xplore
(7.982)
APS: American Physical Society E-Journals (Physics)
(5.992)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(5.532)
PROLA - Physical Review Online Archive
(4.834)
Access via Oxford University Press
(4.409)
Ebook Central Perpetual and DDA
(3.282)
Springer Nature - Connect here FIRST to enable access
(3.213)
eBooks on EBSCOhost
(3.192)
JSTOR All Journals
(2.783)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Mad1p, a component of the spindle assembly checkpoint in fission yeast, suppresses a novel septation-defective mutant, sun1, in a cell-division cycle

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Dual growth factor-loaded in situ gel-forming bulking agent: passive and bioactive effects for the treatment of urinary incontinence

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

On the Expressiveness of Joining and Splitting

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

353183 APPLICATION OF SEGMENTAL PRECAST DECKS TO THE MAGLEV GUIDEWAY GIRDER SYSTEM FOR CURVED ROUTES IN URBAN AREA(MAGLEV,Technical Session)

Models, Mindsets, Meta: The What, the How, and the Why Not?

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Making Sense of Complex Applications: Constructive Design, Features, and Questions

Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)

Benchmarks for Automata Learning and Conformance Testing

Intersection Types in Java: Back to the Future

Reflections on Bernhard Steffen’s Physics of Software Tools

Mad1p, a component of the spindle assembly checkpoint in fission yeast, suppresses a novel septation-defective mutant, sun1, in a cell-division cycle

States and Events in KandISTI: A Retrospective

Aktive Filter

Suchergebnisse filtern