Books by Dieter Hutter

Dieter Hutter
Average rating 3.50 · 2 ratings · 0 reviews · shelved 12 times

Showing 7 distinct works.

	Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56) by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland 3.50 avg rating — 2 ratings — published 2004 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science, 2802) by Dieter Hutter (Editor) 0.00 avg rating — 0 ratings — published 2004 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 2605) by Dieter Hutter (Editor) 0.00 avg rating — 0 ratings — published 2005 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings (Lecture Notes in Computer Science, 3450) by Dieter Hutter (Editor), Markus Ullmann (Editor) 0.00 avg rating — 0 ratings — published 2005 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science by Dieter Hutter (Editor), Werner Stephan (Editor), Paolo Traverse (Editor), Markus Ullmann (Editor) 0.00 avg rating — 0 ratings — published 1999	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Mechanizing Mathematical Reasoning by Dieter Hutter (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers by Dieter Hutter (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.