Filtre:

Cărți editura Springer

Theorem Proving in Higher Order Logics

Editat de Joe Hurd et al.

8 aug 2005

Preț: 328^.49 lei 410^.62 lei

6-8 săpt.

-20%

CONCUR 2005 - Concurrency Theory

Editat de Martín Abadi et al.

8 aug 2005

Preț: 351^.00 lei 438^.75 lei

6-8 săpt.

-20%

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques

Editat de Chandra Chekuri et al.

8 aug 2005

Preț: 333^.02 lei 416^.28 lei

6-8 săpt.

-20%