1
Security in Pervasive Computing (vol. # 3450) [E-Book] / Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Other Personal Name(s): “...Hutter, Dieter....”

Full text 
Favorites
Saved in:
2
Mechanizing Mathematical Reasoning [E-Book] / Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Other Personal Name(s): “...Hutter, Dieter....”

Full text 
Favorites
Saved in:
3
Rippling: Meta-Level Guidance for Mathematical Reasoning [E-Book] /
Other Personal Name(s): “...Hutter, Dieter....”

Full text 
Favorites
Saved in:
4
Security in Pervasive Computing [E-Book] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers /
Other Personal Name(s): “...Hutter, Dieter....”

Full text 
Favorites
Saved in:
5
Applied Formal Methods - FM-Trends 98 [E-Book] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
Other Personal Name(s): “...Hutter, Dieter....”

Full text 
Favorites
Saved in: