Suche
Kategorie
Erscheinungsjahr
4994 Treffer
×
Publikationen
×
< 2021
×
Universität Koblenz
×
Katholische Hochschule Mainz
×
Hochschule Worms
×
Technische Hochschule Bingen
×
Theologische Fakultät Trier
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
- On First-Order Model-Based Reasoning
- S. 1 - 24
- Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
- Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
- CoRR. S. 1 - 9
- Memmesheimer, Raphael; Kramer, Ivanna; Seib, Viktor et al.
- Simitate: A Hybrid Imitation Learning Benchmark
- 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE S. 1 - 7
- Roy, Nityananda; Götz, Thomas; Wiyaja, Karunia Putra et al.
- An improved mathematical model for the sedimentation of microplastic particles in a lid-driven cavity with obstacle
- ArXiv e-prints. S. 1 - 18
- Sofronie-Stokkermans, Viorica
- Locality and applications to subsumption testing and interpolation in EL and some of its extensions
- S. 1 - 42
- Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
- LambdaDL: Syntax and Semantics (Preliminary Report)
- S. 1 - 15
- Hampe, Felix; Hampe, J. F.; Ding, M. S.
- The Changing Technological and Business Landscapes for mPayment: Is Local Mobile Payment Emerging as the Winner?
- 8th International Workshop on Mobile Multimedia Communications, München,. S. 347-353
- 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
- Sofronie-Stokkermans, Viorica
- Sheaves and geometric logic and applications to the modular verification of complex systems
- S. 1 - 30