Cărți de Christoph Weidenbach

Frontiers of Combining Systems

Lecture Notes in Computer Science, nr. 15979

Editat de René Thiemann et al.

10 sep 2025

Preț: 288^.40 lei 360^.49 lei

39-44 zile

-20%

Automated Reasoning

Lecture Notes in Computer Science, nr. 8562

Editat de Stéphane Demri et al.

4 aug 2014

Preț: 335^.26 lei 419^.08 lei

6-8 săpt.

-20%

Programming Logics

Editat de Andrei Voronkov et al.

3 apr 2013

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%