UB Paderborn / Katalog / Suche / in CDI

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

1 – 25 von 114.659

Sortiert nach

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)

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)

Future Security: Processes or Properties?—Research Directions in Cybersecurity

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

Volltextzugriff (PDF)

1 – 25 von 114.659

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(97.902)
Mit Volltextzugriff
(105.355)

Publikationsform

8 weitere anzeigen...

Weniger anzeigen...

Sprache

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Thema

Science & Technology
(74.485)
Life Sciences & Biomedicine
(40.017)
Humans
(26.292)
Physical Sciences
(22.603)
Technology
(21.460)
Physics
(16.002)
Male
(15.559)
Female
(15.039)
Biological And Medical Sciences
(13.826)
Animals
(11.556)
Exact Sciences And Technology
(9.905)
Medical Sciences
(9.653)
Engineering
(8.947)
Middle Aged
(8.925)
Adult
(8.787)
Materials Science
(8.002)
Chemistry
(6.567)
Aged
(6.387)
Materials Science, Multidisciplinary
(5.698)
Applied Sciences
(5.551)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

IngentaConnect
(45.036)
EZB Electronic Journals Library
(44.342)
MEDLINE
(37.650)
Journals@Ovid Ovid Full Text
(25.406)
Elsevier ScienceDirect Journals Complete
(24.258)
Publisher or Other Site
(23.944)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(16.343)
IngentaConnect Journals
(15.440)
Wiley-Blackwell Journals
(12.764)
Springer Journals
(12.667)
Wiley Online Library
(8.611)
IEEE Xplore
(7.623)
APS: American Physical Society E-Journals (Physics)
(7.322)
PROLA - Physical Review Online Archive
(6.345)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(5.478)
Oxford Journals
(4.226)
Ebook Central Perpetual and DDA
(3.207)
eBooks on EBSCOhost
(3.111)
Springer Nature - Connect here FIRST to enable access
(3.070)
JSTOR
(2.673)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt