الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
978-3-540-35632-5
Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

اقرأ المزيد
978-3-540-70594-9
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

اقرأ المزيد
978-3-540-37874-7
Relations and Kleene Algebra in Computer Science

This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3