Cărți de Tarmo Uustalu

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science, nr. 15980

Editat de Gian Luca Pozzato et al.

28 sep 2025

Preț: 305^.59 lei 382^.00 lei

6-8 săpt.

-20%

Advanced Functional Programming

Editat de Varmo Vene et al.

15 sep 2005

Preț: 326^.05 lei 407^.56 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4014

Editat de Tarmo Uustalu

27 iun 2006

Preț: 327^.99 lei 409^.99 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing - ICTAC 2018

Lecture Notes in Computer Science, nr. 11187

Editat de Bernd Fischer et al.

15 oct 2018

Preț: 527^.06 lei 658^.83 lei

6-8 săpt.

-20%