UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 502

Sortiert nach

Cognitive correlates of α4β2 nicotinic acetylcholine receptors in mild Alzheimer's dementia

Brain (London, England : 1878), 2018-06, Vol.141 (6), p.1840-1854

2018

Link zum Volltext

Verfügbarkeit prüfen

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2015, 2015

Link zum Volltext

Verfügbarkeit prüfen

Verdachts- und ereignisunabhängige Personenkontrollen: Polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung

Graf, Susanne

1. Aufl., 2011

Link zum Volltext

Verfügbarkeit prüfen

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

1, 2004

Link zum Volltext

Verfügbarkeit prüfen

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

1, 2000

Link zum Volltext

Verfügbarkeit prüfen

Unbiased screen for pathogens in human paraffin-embedded tissue samples by whole genome sequencing and metagenomics

Frontiers in cellular and infection microbiology, 2022-09, Vol.12, p.968135-968135

2022

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures

1, 2003

Link zum Volltext

Verfügbarkeit prüfen

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

2004., 2004

Link zum Volltext

Verfügbarkeit prüfen

Aceh: History, Politics and Culture

1, 2010

Link zum Volltext

Verfügbarkeit prüfen

Knowledge-based construction of distributed constrained systems

Software and systems modeling, 2016-10, Vol.15 (4), p.1163-1180

2016

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Direct antimicrobial resistance prediction from clinical MALDI-TOF mass spectra using machine learning

Nature medicine, 2022-01, Vol.28 (1), p.164-174

2022

Link zum Volltext

Verfügbarkeit prüfen

Knowledge for Obtaining Distributed Implementations and Proving Them Correct: Invited Presentation at the 2nd French Singaporean Workshop on Formal Methods and Applications

Electronic proceedings in theoretical computer science, 2014-07, Vol.156, p.1-1

Graf, Susanne

2014

Link zum Volltext

Verfügbarkeit prüfen

Models, Mindsets, Meta: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

1, 2019

Link zum Volltext

Verfügbarkeit prüfen

Implementing Distributed Controllers for Systems with Priorities

Electronic proceedings in theoretical computer science, 2010-07, Vol.30 (Proc. FOCLASA 2010), p.31-46

2010

Link zum Volltext

Verfügbarkeit prüfen

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6. 1 International Conference, FORTE 2015, Held As Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

1, 2015

Link zum Volltext

Verfügbarkeit prüfen

Contemporary Developments in Green Human Resource Management Research: Towards Sustainability in Action?

1st, 2018

Link zum Volltext

Verfügbarkeit prüfen

OMEGA: correct development of real time and embedded systems

Software and systems modeling, 2008-05, Vol.7 (2), p.127-130

Graf, Susanne

2008

Link zum Volltext

Verfügbarkeit prüfen

Automated technology for verification and analysis: 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

2006, 2014

Link zum Volltext

Verfügbarkeit prüfen

Material and Biofilm Load of K Wires in Toe Surgery: Titanium versus Stainless Steel

Clinical orthopaedics and related research, 2013-07, Vol.471 (7), p.2312-2317

2013

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems

2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022, p.132-135

2022

Link zum Volltext
Volltext

A Framework for Evaluating Schedulability Analysis Tools

Models, Algorithms, Logics and Tools, p.539-559

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 502

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

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

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(165)
Life Sciences & Biomedicine
(116)
Humans
(86)
Computer Science
(57)
Female
(52)
Male
(51)
Software Engineering
(49)
Technology
(43)
Adult
(33)
Middle Aged
(29)
Aged
(27)
Animals
(27)
Computer Science, Theory & Methods
(27)
Software
(27)
Biological And Medical Sciences
(26)
Exact Sciences And Technology
(26)
Applied Sciences
(25)
Computer Science; Control Theory; Systems
(25)
Computer Science, Software Engineering
(22)
Medical Sciences
(21)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 7 Tagen
(1)
... seit 90 Tagen
(5)

Menü

Weitere Dienste

Einstellungen

Cognitive correlates of α4β2 nicotinic acetylcholine receptors in mild Alzheimer's dementia

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Verdachts- und ereignisunabhängige Personenkontrollen: Polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Unbiased screen for pathogens in human paraffin-embedded tissue samples by whole genome sequencing and metagenomics

Historic methicillin-resistant Staphylococcus aureus: expanding current knowledge using molecular epidemiological characterization of a Swiss legacy collection

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 Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

Aceh: History, Politics and Culture

Knowledge-based construction of distributed constrained systems

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

Direct antimicrobial resistance prediction from clinical MALDI-TOF mass spectra using machine learning

Knowledge for Obtaining Distributed Implementations and Proving Them Correct: Invited Presentation at the 2nd French Singaporean Workshop on Formal Methods and Applications

Models, Mindsets, Meta: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Implementing Distributed Controllers for Systems with Priorities

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6. 1 International Conference, FORTE 2015, Held As Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Contemporary Developments in Green Human Resource Management Research: Towards Sustainability in Action?

OMEGA: correct development of real time and embedded systems

Automated technology for verification and analysis: 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

Material and Biofilm Load of K Wires in Toe Surgery: Titanium versus Stainless Steel

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

Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems

A Framework for Evaluating Schedulability Analysis Tools

Suchergebnisse filtern