MPG.eBooks - Author Search Results

Cover Image

1

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

by Hutter, Dieter
Published 1999

Springer Berlin Heidelberg

Cover Image

2

Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

by Hutter, Dieter
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Security in Pervasive Computing : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Hutter, Dieter...”

Cover Image

4

Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Hutter, Dieter...”

Cover Image

5

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Hutter, Dieter...”

Cover Image

6

Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Hutter, Dieter...”