Cărți de Werner Stephan

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ț: 648^.38 lei 810^.47 lei

43-57 zile

-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

38-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ț: 330^.55 lei 413^.19 lei

43-57 zile

-20%