Hoppa till sidans huvudinnehåll

Dieter Hutter – författare

Visar alla böcker från författaren .
5 produkter
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland - Rippling: Meta-Level Guidance for Mathematical Reasoning, Inbunden
Del 56 - Cambridge Tracts in Theoretical Computer Science

Rippling: Meta-Level Guidance for Mathematical Reasoning

AvAlan Bundy,David Basinm. fl.

Inbunden, Engelska, 2005

2 029 kr

Skickas inom 7-10 vardagar

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann - Security in Pervasive Computing, Häftad

Security in Pervasive Computing

First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

AvDieter Hutter,Günter Müllerm. fl.

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Dieter Hutter, Werner Stephan - Mechanizing Mathematical Reasoning, Häftad

Mechanizing Mathematical Reasoning

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

AvDieter Hutter,Werner Stephan

Häftad, Engelska, 2005

1 439 kr

Skickas inom 10-15 vardagar

Dieter Hutter, Markus Ullmann - Security in Pervasive Computing, Häftad

Security in Pervasive Computing

Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings

AvDieter Hutter,Markus Ullmann

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann - Applied Formal Methods - FM-Trends 98, Häftad

Applied Formal Methods - FM-Trends 98

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

AvDieter Hutter,Werner Stephanm. fl.

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar