Search result

Computational Linguistics and Intelligent Text Processing English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Static Analysis English 20.07.2009 Paperback / Softback Fr. 69.00 6-7 weeks
Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Typed Lambda Calculi and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Database Theory - ICDT 2005 English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Advances in Artificial Intelligence - SBIA 2004 English 06.07.2005 Paperback / Softback Fr. 135.00 6-7 weeks