Tarmo Uustalu – författare
Visar alla böcker från författaren Tarmo Uustalu. Handla med fri frakt och snabb leverans.
7 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, 2018
904 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed …
Theoretical Aspects of Computing - ICTAC 2018
15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Av Tarmo Uustalu, Bernd Fischer
E-bok, 2018
1175 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed …
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, 2025
453 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27–29, 2025.The 25 full papers included in this book were carefully reviewed and …
Advanced Functional Programming
5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
Häftad, 2005
567 kr
Lägg i varukorg
This volume contains the revised lecture notes corresponding to nine of the lecturecoursespresentedatthe5thInternationalSchoolonAdvancedFunctional Programming, AFP 2004, held in Tartu, Estonia, August 14-21, 2004. The goal of the AFP schools is to inform the wide international communities of …
Advanced Functional Programming
5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
E-bok, 2005
755 kr
Lägg i varukorg
Mathematics of Program Construction
8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Häftad, 2006
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support …
Mathematics of Program Construction
8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
E-bok, 2006
755 kr
Lägg i varukorg
