Filters








2 Hits in 5.9 sec

Veröffentlichungen und Vorträge 2000 der Mitglieder der Fakultät für Informatik [article]

Fakultät Für Informatik
2001
.: The KeY Approach: Integrating Object Oriented Design and Formal Verification. /51/ Ateyeh, K.; Mülle, J.; Lockemann, P.: Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung  ...  (Hrsg.): Handheld and Ubiquitous Computing: Proceedings of Second International Sym- posium, HUC2k. HUC 2000, Bristol, Grossbritannien, 25.-27.9.2000. Heidelberg: Springer, 2000.  ...  In: Proceedings of the GCSE 99: International Symposium on Generative and Component-Based Software Engineering. GCSE 99, Erfurt, Germany, 28.- 30.9.1999.  ... 
doi:10.5445/ir/1000022875 fatcat:mvtnxo2y4rghna7erpgnbndzem

Ingenieurwissenschaften: Herausforderung Elektromobilität

:None, DuEPublico: Duisburg-Essen Publications Online, University Of Duisburg-Essen
2011 UNIKATE: Berichte aus Forschung und Lehre  
D.: Towards a better Understanding of Context and Context-Awareness. In HUC '99: Proceedings of the 1st international Symposium on Handheld and Ubiquitous Computing, 304-307. Springer-Verlag, 1999.  ...  K.: Understanding and using Context. Personal Ubiquitous Computing, 5(1):4-7, 2001. -Dey, A. K., Hightower, J., de Lara, E., Davies, N.: Location-based services.  ... 
doi:10.17185/duepublico/73105 fatcat:vs333mmisjernc3p24xfp7bbce