Search result

Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Computer Aided Verification English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Algorithms in Invariant Theory English 23.02.2011 Paperback / Softback Fr. 135.00 6-7 weeks