Suche
Kategorie
Erscheinungsjahr
165 Treffer
×
Publikationen
×
< 2021
×
Universität Koblenz
×
Hochschule Kaiserslautern
×
Theologische Fakultät Trier
×
Hochschule Koblenz
- Speck, Christian; Speck, Ch.
- Luigi Boccherini. Sonate für Violoncello und Basso in f-moll (G deest). Stimmen und Klavierauszug [im Druck]
- Speck, Ch. (Hrsg). Mainz: Schott Mainz
- Speck, Christian; Speck, Ch.
- Luigi Boccherini. Sonate für Violoncello und Basso in c-moll (G deest). Stimmen und Klavierauszug [im Druck]
- Speck, Ch. (Hrsg). Mainz: Schott Mainz
- 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
- Müller, Adrian
- A Graphical Browser For Multi-Dimensional Information Spaces
- Proccedings of the IJCAI'99 Workshop on Text Mining: Techniques, Foundations and Applications. CEUR Proceedings. RWTH Aachen. RWTH Aachen
- 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
- 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