Cărți de Dieter Hutter

Mechanizing Mathematical Reasoning

Editat de Dieter Hutter et al.

23 feb 2005

Preț: 636^.24 lei 795^.30 lei

6-8 săpt.

-20%

Security in Pervasive Computing

Editat de Dieter Hutter et al.

30 mar 2005

Preț: 318^.94 lei 398^.67 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ț: 326^.07 lei 407^.59 lei

6-8 săpt.

-20%

Verhandlungstechnik bei steuerlichen Betriebsprüfungen

Autor Ernst Schmäche et al.

1994

Preț: 133^.54 lei

Indisponibil temporar

Security in Pervasive Computing

Editat de Dieter Hutter et al.

26 ian 2004

Preț: 342^.97 lei 428^.72 lei

38-44 zile

-20%