Dieter Hutterのリリース

iMusicに在庫あり在庫なし商品を表示

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)

Cover for Dieter Hutter · Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2004)

Security in Pervasive Computing:... (2004)