Suche
Kategorie
Erscheinungsjahr
6963 Treffer
×
Publikationen
×
< 2021
×
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
×
Universität Koblenz
×
Hochschule Trier
×
Technische Hochschule Bingen
×
Theologische Fakultät Trier
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Meinel, C.; Roth, U.; Haffner, E. - G. et al.
- Hyperlink Management System - HLM
- Technical Reports 1999.
- Sofronie-Stokkermans, Viorica
- On Interpolation and Symbol Elimination in Theory Extensions
- S. 1 - 41
- Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
- Automated Reasoning for Robot Ethics
- S. 1 - 5
- Herberg, Evelyn; Hinze, Michael; Schumacher, Henrik
- Maximal discrete sparsity in parabolic optimal control with measures
- S. 1 - 30
- Oravec, Lina; Recklies, Erik
- Let's just do it! Pre-Service music teachers' attitudes towards inclusion. Insights into the university project All-In-Band.
- Busch, Thomas; Bosch, Mercé (Hrsg). Musik für alle. Schule und Musikhochschule auf dem Weg zur Inklusion. München: Kopaed München
- Mu, Mu; Dohan, Murtada; Goodyear, Alison et al.
- User Attention and Behaviour in Virtual Reality Art Encounter
- S. 1 - 22
- Ivkic, Igor; Sailer, Patrizia; Gouglidis, Antonios et al.
- A Security Cost Modelling Framework for Cyber-Physical Systems
- S. 1 - 31
- Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
- Automatic Verification of Parametric Specifications with Complex Topologies
- S. 1 - 16
- Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
- An Efficient Approach towards Mitigating Soft Errors Risks
- CoRR. S. 1 - 18