Cărți de Dieter Hutter

Mechanizing Mathematical Reasoning

Editat de Dieter Hutter et al.

23 feb 2005

Preț: 638^.22 lei 797^.77 lei

6-8 săpt.

-20%

Security in Pervasive Computing

Editat de Dieter Hutter et al.

30 mar 2005

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge Tracts in Theoretical Computer Science, nr. 56

Autor Alan Bundy et al.

29 iun 2005

Preț: 746^.09 lei 932^.61 lei

6-8 săpt.

-20%

Applied Formal Methods - FM-Trends 98

Editat de Dieter Hutter et al.

25 aug 1999

Preț: 327^.07 lei 408^.84 lei

6-8 săpt.

-20%

Security in Pervasive Computing

Editat de Dieter Hutter et al.

26 ian 2004

Preț: 275^.74 lei 344^.67 lei

Indisponibil temporar

-20%

Verhandlungstechnik bei steuerlichen Betriebsprüfungen

Autor Ernst Schmäche et al.

1994

Preț: 133^.44 lei

Indisponibil temporar