Releases by Dieter Hutter

In stock at iMusic Show unavailable items

Cover for Dieter Hutter · Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)

Security in Pervasive Computing:... (2005)

Cover for Dieter Hutter · Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday - Lecture Notes in Computer Science (Paperback Book) (2005)

Mechanizing Mathematical Reasoni... (2005)