Dieter Hutter - Böcker

Visar alla böcker från författaren Dieter Hutter.
5 produkter
Alan Bundy, David Basin, Dieter Hutter - Rippling: Meta-Level Guidance for Mathematical Reasoning, Inbunden

Rippling: Meta-Level Guidance for Mathematical Reasoning

Av Alan Bundy, David Basin, Dieter Hutter

Inbunden, Engelska, 2005

1 959 kr

Skickas inom 7-10 vardagar
Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann - Security in Pervasive Computing, Häftad
Del 2802 - Lecture Notes in Computer Science

Security in Pervasive Computing

Av Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar
Dieter Hutter, Werner Stephan - Mechanizing Mathematical Reasoning, Häftad

Mechanizing Mathematical Reasoning

Av Dieter Hutter, Werner Stephan

Häftad, Engelska, 2005

1 409 kr

Skickas inom 10-15 vardagar
Dieter Hutter, Markus Ullmann - Security in Pervasive Computing, Häftad

Security in Pervasive Computing

Av Dieter 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
Del 1641 - Lecture Notes in Computer Science

Applied Formal Methods - FM-Trends 98

Av Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar