Cărți de Dieter Hutter

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^.77 lei 933^.46 lei

6-8 săpt.

-20%

Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3450

Editat de Dieter Hutter et al.

30 mar 2005

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 2605

Editat de Dieter Hutter et al.

23 feb 2005

Preț: 634^.55 lei 793^.18 lei

6-8 săpt.

-20%

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

Lecture Notes in Computer Science, nr. 2802

Editat de Dieter Hutter et al.

26 ian 2004

Preț: 392^.34 lei

39-44 zile

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

Lecture Notes in Computer Science, nr. 1641

Editat de Dieter Hutter et al.

25 aug 1999

Preț: 324^.64 lei 405^.80 lei

6-8 săpt.

-20%

Verhandlungstechnik bei steuerlichen Betriebsprüfungen

Autor Ernst Schmäche et al.

1994

Preț: 123^.39 lei

Indisponibil temporar