Search result

Extensional Constructs in Intensional Type Theory English 25.07.2012 Paperback / Softback Fr. 178.00 1-2 weeks (title will be printed to order)
A Holistic Approach to Process Optimisation English 01.01.2022 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
A Holistic Approach to Process Optimisation English 30.09.2021 Hardback Fr. 103.00 2-3 weeks (title will be printed to order)
Typed Lambda Calculi and Applications English 27.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Automata Theory and Logic English Paperback / Softback Fr. 90.00 Will be released 28.12.2025
Automated Construction of XSL-Templates English 01.01.2008 Paperback / Softback Sold out