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

Die Vergütung des Insolvenzverwalters

Knapp, Tobias Alexander

1, 2022

Volltextzugriff (PDF)

Shear-deformation based continuum-damage constitutive modeling of brain tissue

Journal of biomechanics, 2021-03, Vol.117, p.110260-110260, Article 110260

2021

Volltextzugriff (PDF)

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

1, 2004

Volltextzugriff (PDF)

Electrically Connected Resonant Optical Antennas

Nano letters, 2012-08, Vol.12 (8), p.3915-3919

2012

Volltextzugriff (PDF)

Predicting the Effect of Localized ACL Damage on Neighbor Ligament Mechanics via Finite Element Modeling

Bioengineering (Basel), 2022-01, Vol.9 (2), p.54

2022

Volltextzugriff (PDF)

An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines

Applicable Formal Methods for Safe Industrial Products, 2023, Vol.14165, p.289-307

2023

Volltextzugriff (PDF)

Model checking timed UML state machines and collaborations

Lecture notes in computer science, 2002, p.395-414

2002

Volltextzugriff (PDF)

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic

Logic journal of the IGPL, 2023-11, Vol.31 (6), p.1047-1068

2023

Volltextzugriff (PDF)

Strategic importance of after-sales measures for small and medium-sized medical technology companies in Germany: Empirical evidence

International journal of healthcare management, 2021-01, Vol.14 (1), p.219-225

Knapp, Alexander

2021

Volltextzugriff (PDF)

Zur Relevanz des After-Sales in klein- und mittelständischen Medizintechnik-Unternehmen

Zeitschrift für KMU und Entrepreneurship, 2020-01, Vol.68 (1), p.1-30

Knapp, Alexander

2020

Volltextzugriff (PDF)

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2016

Volltextzugriff (PDF)

Specification of systems with parameterised events: An institution-independent approach

Journal of logical and algebraic methods in programming, 2022-08, Vol.128, p.100791, Article 100791

2022

Volltextzugriff (PDF)

Multi-view Consistency in UML: A Survey

Graph Transformation, Specifications, and Nets, 2018, Vol.10800, p.37-60

2018

Volltextzugriff (PDF)

A Computational Investigation of Microstructural Damage of the Anterior Cruciate Ligament Under High Loading of the Knee Joint

Journal of biomechanical engineering, 2023-01, Vol.145 (1)

2023

Volltextzugriff (PDF)

Optimization of global production scheduling with deep reinforcement learning

Procedia CIRP, 2018, Vol.72, p.1264-1269

2018

Volltextzugriff (PDF)

Time-Critical State Transfer during Operation of Distributed Embedded Applications

2019 IEEE 17th International Conference on Industrial Informatics (INDIN), 2019, Vol.1, p.516-523

2019

Volltextzugriff (PDF)

Predicting Localized Damage of the Anterior Cruciate Ligament and Its Effects via Finite Element Analysis

Knapp, Alexander

2022

Volltextzugriff (PDF)

Hybrid dynamic logic institutions for event/data-based systems

Formal aspects of computing, 2021-12, Vol.33 (6), p.1209-1248

2021

Volltextzugriff (PDF)

Towards safe dynamic updates of distributed embedded applications in factory automation

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, p.1-4

2017

Volltextzugriff (PDF)

Quick and Easy Electroless Deposition and Alkanethiol Treatment To Form a Superhydrophobic Surface

Journal of chemical education, 2020-01, Vol.97 (1), p.184-189

2020

Volltextzugriff (PDF)

Moving from interface theories to assembly theories

Acta informatica, 2015-04, Vol.52 (2-3), p.235-268

2015

Volltextzugriff (PDF)

Observational interpretations of hybrid dynamic logic with binders and silent transitions

Journal of logical and algebraic methods in programming, 2021-08, Vol.122, p.100698, Article 100698

2021

Volltextzugriff (PDF)

MiniBrass: Soft constraints for MiniZinc

Constraints : an international journal, 2018-10, Vol.23 (4), p.403-450

2018

Volltextzugriff (PDF)

Deep reinforcement learning for semiconductor production scheduling

2018 29th Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC), 2018, p.301-306

2018

Volltextzugriff (PDF)

Formal methods for transport systems

International journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.237-241

2018

Volltextzugriff (PDF)

1 – 25 von 657

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(493)
Mit Volltextzugriff
(563)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(369)
Life Sciences & Biomedicine
(156)
Technology
(151)
Computer Science
(106)
Humans
(93)
Physical Sciences
(82)
Computer Science, Theory & Methods
(81)
Computer Science, Software Engineering
(74)
Software
(51)
Exact Sciences And Technology
(48)
Applied Sciences
(45)
Female
(44)
Computer Science; Control Theory; Systems
(42)
Male
(40)
Software Engineering
(37)
Chemistry
(36)
Engineering
(36)
Astronomy & Astrophysics
(33)
Computer Programming / Software Development
(30)
Animals
(28)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(6)

Menü

Weitere Dienste

Einstellungen

Die Vergütung des Insolvenzverwalters

Shear-deformation based continuum-damage constitutive modeling of brain tissue

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Electrically Connected Resonant Optical Antennas

Predicting the Effect of Localized ACL Damage on Neighbor Ligament Mechanics via Finite Element Modeling

An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines

Model checking timed UML state machines and collaborations

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic

Strategic importance of after-sales measures for small and medium-sized medical technology companies in Germany: Empirical evidence

Zur Relevanz des After-Sales in klein- und mittelständischen Medizintechnik-Unternehmen

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Specification of systems with parameterised events: An institution-independent approach

Multi-view Consistency in UML: A Survey

A Computational Investigation of Microstructural Damage of the Anterior Cruciate Ligament Under High Loading of the Knee Joint

Optimization of global production scheduling with deep reinforcement learning

Time-Critical State Transfer during Operation of Distributed Embedded Applications

Predicting Localized Damage of the Anterior Cruciate Ligament and Its Effects via Finite Element Analysis

Hybrid dynamic logic institutions for event/data-based systems

Towards safe dynamic updates of distributed embedded applications in factory automation

Quick and Easy Electroless Deposition and Alkanethiol Treatment To Form a Superhydrophobic Surface

Moving from interface theories to assembly theories

Observational interpretations of hybrid dynamic logic with binders and silent transitions

MiniBrass: Soft constraints for MiniZinc

Deep reinforcement learning for semiconductor production scheduling

Formal methods for transport systems

Suchergebnisse filtern