Suche
Kategorie
Erscheinungsjahr
26100 Treffer
×
Publikationen
×
Universität Koblenz
×
Hochschule Mainz
×
Hochschule Kaiserslautern
×
Hochschule Trier
- 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
- Meinel, C.; Haffner, E. G.; Roth, U. et al.
- Vorhersage von Benutzeranforderungen im Internet
- Technical Reports 1999. Institut for Telematics
- 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
- Grünewald, D.; Grünewald, D.
- Zwischen Journalismus und Kunst - politische Karikaturen
- Politische Karikatur. Zwischen journalismus und Kunst. Bd. Politische Karikatur. Zwischen journalismus und Kunst. S. 9-24