Filter
Sökt på: nuno oliveira
Filter
totalt 3 träffar
Mathematics of Program Construction
E-bok,
2006,
Engelska,
ISBN 9783540450252
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the …
Teaching Formal Methods
E-bok,
2009,
Engelska,
ISBN 9783642049125
This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods …
Computational Processing of the Portuguese Language
E-bok,
2006,
Engelska,
ISBN 9783540340461
Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both written and spoken. This PROPOR Workshop …