Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

16994 Publications


2005 | Conference Paper | LibreCat-ID: 16628
Satellite Formation, a Mobile Sensor Network in Space
A. Krishnamurthy, R. Preis, in: 19th IEEE International Parallel and Distributed Processing Symposium, 2005.
LibreCat | DOI
 

2005 | Book Chapter | LibreCat-ID: 1962
Bestandsaufnahme und Ausblick auf ein neu zu schaffendes Ratingrecht
D. Krimphove, in: A.-K. Achleitner, O. Everling (Eds.), Rechtsfragen Im Rating, Gabler-Verlag, Wiesbaden, 2005, pp. 65 – 88.
LibreCat
 

2005 | Encyclopedia Article | LibreCat-ID: 2073
Telekommunikations-Überwachungsverordnung (TKÜV)
D. Krimphove, in: Sjurtz: Wörterbuch Der Medienwirtschaft , Gabler-Verlag, Wiesbaden, 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 2117
Constant density spanners for wireless ad-hoc networks
K. Kothapalli, C. Scheideler, M. Onus, A. W. Richa, in: SPAA, 2005, pp. 116--125.
LibreCat | Files available
 

2005 | Encyclopedia Article | LibreCat-ID: 2059
eEurope 2005
D. Krimphove, in: Sjurtz: Wörterbuch Der Medienwirtschaft , Gabler-Verlag, Wiesbaden, 2005.
LibreCat
 

2005 | Encyclopedia Article | LibreCat-ID: 2061
Europäischer/Internationaler Datenschutz
D. Krimphove, in: Sjurtz: Wörterbuch Der Medienwirtschaft , Gabler-Verlag, Wiesbaden, 2005.
LibreCat
 

2005 | Encyclopedia Article | LibreCat-ID: 2066
Internationale Organisationen im Medienrecht
D. Krimphove, in: Sjurtz: Wörterbuch Der Medienwirtschaft , Gabler-Verlag, Wiesbaden, 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 1669
Regulierung und Haftung von Ratingagenturen: Status quo und Perspektiven
D. Krimphove, O. Kruse, Zeitschrift Für Das Gesamte Kreditwesen (2005) 10 ff.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3230
Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Export / Embed