1
منشور في 2006
جدول المحتويات: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2012
جدول المحتويات: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2010
جدول المحتويات: ... Performance Computing -- Trust Worthy Architecture for Mobile Ad Hoc Network Environment -- A Cross Layer...
احصل على النص الكامل
الكتروني كتاب الكتروني