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)
Automatentheorie und Logik German 07.04.2011 Paperback / Softback Fr. 44.50 1-2 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
PC-Pannenhelfer Spezial German 01.01.2005 Paperback / Softback Sold out
Automated Construction of XSL-Templates English 01.01.2008 Paperback / Softback Sold out