Tarmo Uustalu - Böcker

Visar alla böcker från författaren Tarmo Uustalu.

4 produkter

Kategorier

4 produkter

Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Av Bernd Fischer, Tarmo Uustalu

Häftad, Engelska, 2018

1 159 kr

Skickas inom 10-15 vardagar

Automated Reasoning with Analytic Tableaux and Related Methods

34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

Av Gian Luca Pozzato, Tarmo Uustalu

Häftad, Engelska, 2025

639 kr

Skickas inom 10-15 vardagar

Advanced Functional Programming

5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures

Av Varmo Vene, Tarmo Uustalu

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Av Tarmo Uustalu

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar