Suche
Kategorie
Erscheinungsjahr
24356 Treffer
×
Publikationen
×
Universität Koblenz
×
Katholische Hochschule Mainz
×
Hochschule Trier
×
Hochschule Worms
- Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
- LambdaDL: Syntax and Semantics (Preliminary Report)
- S. 1 - 15
- Hakenberg, M.
- Die kaufmännischen Orderpapiere
- Neue Wirtschafts-Briefe. Bd. Neue Wirtschafts-Briefe. Herne, Berlin: Neue Wirtschafts-Briefe Herne, Berlin S. 1011, F 18, 771
- Meinel, C.; Roth, U.; Haffner, E. G. et al.
- Smart Data Server (SDS) Modularer Aufbau und verteilte Funktionalität
- Technical Reports 1998. Institut for Telematics
- 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.
- Kapuzinerpredigt mit Fluchtwegen. Eine sprachwissenschaftliche Analyse der Berliner Rede von Bundestagspräsident Roman Herzog
- Süddeutsche Zeitung Nr.99. 30.04.1997. Bd. Süddeutsche Zeitung Nr.99. 30.04.1997. S. 8
- 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
- Meinel, C.; Haffner, E. G.; Engel, Th.
- Flood-Gates statt Firewall - eine "High-Society"-Lösung zum sicheren Datenaustausch zwischen Internet und Intranet
- Technical Reports 1998. Institut for Telematics