Suche
Kategorie
Erscheinungsjahr
239 Treffer
×
Publikationen
×
< 2021
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Katholische Hochschule Mainz
×
Hochschule Kaiserslautern
×
Technische Hochschule Bingen
×
Theologische Fakultät Trier
×
Hochschule Koblenz
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Klein, J.; Antos, G.; Sendlmeier, W.F.
- Zeitschrift für Angewandte Linguistik. Hefte 30/1999-34/2001
- Klein, J.; Antos, G.; Sendlmeier, W.F. (Hrsg). Frankfurt a. M. et al.: Peter Lang Frankfurt a. M. et al
- Piroth, P.; Rüger-Muck, E.
- Digitalisierung im Marketing - Was Unternehmen heute für den Erfolg von morgen tun müssen
- Digitalisierung im Marketing – technischer Megatrend trifft auf etablierte Praktiken. Stuttgart. Stuttgart
- Felten, F.; u.a., u.a.
- Historisches Jahrbuch, im Auftrag der Görres-Gesellschaft
- Felten, F.; u.a. (Hrsg). Freiburg/München. Freiburg/München
- Sofronie-Stokkermans, Viorica
- Sheaves and geometric logic and applications to the modular verification of complex systems
- S. 1 - 30
- Sofronie-Stokkermans, Viorica
- Interpolation in local theory extensions
- S. 1 - 31
- Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
- S. 1 - 39
- 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