Dieter Hutter - Böcker
Visar alla böcker från författaren Dieter Hutter.
5 produkter
5 produkter
Del 56 - Cambridge Tracts in Theoretical Computer Science
Rippling: Meta-Level Guidance for Mathematical Reasoning
Inbunden, Engelska, 2005
1 819 kr
Skickas inom 7-10 vardagar
Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Häftad, Engelska, 2004
709 kr
Skickas inom 10-15 vardagar
Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Häftad, Engelska, 2005
1 369 kr
Skickas inom 10-15 vardagar
Security in Pervasive Computing
Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Häftad, Engelska, 2005
709 kr
Skickas inom 10-15 vardagar
Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Häftad, Engelska, 1999
709 kr
Skickas inom 10-15 vardagar