Cărți de Christoph Weidenbach

Automated Reasoning

Lecture Notes in Computer Science

Editat de Stéphane Demri et al.

4 aug 2014

Preț: 334^.23 lei 417^.79 lei

6-8 săpt.

-20%

Programming Logics: Essays in Memory of Harald Ganzinger

Lecture Notes in Computer Science, nr. 7797

Editat de Andrei Voronkov et al.

3 apr 2013

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Frontiers of Combining Systems

Lecture Notes in Computer Science

Editat de René Thiemann et al.

10 sep 2025

Preț: 288^.30 lei 360^.37 lei

39-44 zile

-20%